我正在使用hsc2hs从C头导入一堆枚举值.我的代码(简化)看起来像这样: -- | newtype wrapper around Windows SDK SE_OBJECT_TYPE enumeration newty…
标签:haskell
haskell – Data.Vector,与累加器映射
我想在Data.Vector上用累加器做一张地图. 我想写函数inc: inc :: Vector.Vector Bool -> Vector.Vector Bool 向载体“添加一个”,例如: inc <F…
haskell – 类型错误与rank-n类型和镜头
我有一个简单的多态数据类型Foo {-# LANGUAGE TemplateHaskell #-} import Control.Lens data Foo c = Foo { _bar :: c, _baz :: c,…
性能 – Haskell并行速度较慢
我一直在尝试并行化 Haskell程序.令我惊讶的是,我的大多数尝试都使我的示例运行得更慢,因此我决定深入研究Threadscope并开始学习 here教程. 在part 5中引入了示例程序sudoku3,其被假定为良好…
haskell – Ints的平均列表
我是 Haskell和Stackoverflow的新手,我正在尝试自学Haskell编程,我正在从我下载的一本书中做一系列练习,并想知道你们是否可以帮助我. 我正在尝试编写一个名为avgPub的函数,它返回一系列书籍出版…
haskell – 证明产品组件的约束条件适用于产品的实际情况
我有一个C类,其中包含一种类型和一种元组的实例. class C a instance C Int instance (C a, C b) => C (a, b) 使用普通的Dict GADT捕获约束 {-# LA…
Parsec-Haskell,格式化解析错误
我正在开发一个简单的计算器,它接受一行输入,使用parsec解析它,然后处理它. 我想使parsec解析错误消息更小.它们包括位置信息,这对于一行输入不是必需的.我尝试过使用<?>但它并没有完全符合我的要求.…
haskell – MonadBaseControl:如何解除ThreadGroup
在模块 Control.Concurrent.Thread.Group中的 threads包中有一个函数forkIO: forkIO :: ThreadGroup -> IO α -> IO (ThreadI…
Haskell:通过在C函数中创建代数数据类型进行编组
是否有可能在C中进行所有数据编组,直接生成代数数据类型并将它们推回 Haskell域?我想避免做两次工作(和数据复制),制作一个中间的C API / struct布局,然后通过Storable接口再次在Haskell中编…
haskell – 了解attoparsec实现(第2部分)
我目前正在尝试研究和理解attoparsec库的源代码,但有些细节我自己无法弄清楚.例如,Parser类型的定义: newtype Parser i a = Parser { runParser :: forall r.…
haskell – 递归函数依赖不起作用
我试图在幻像类型中乘以单位数组(来自维度)而我遇到了函数依赖性问题.问题的简化版本如下: 我有以下类型 data F (a:: [*]) = F String 其中字符串表示外语表达式和表示类型列表的幻像类型. 我可以做…
haskell – 与Netwire一起使用时误解ArrowLoop
继 this post的优秀答案之后,我试图找到一个不使用箭头符号的ArrowLoop的工作示例.在我完全理解箭头如何在引擎盖下工作之前,我对使用箭头符号感到不舒服.话虽这么说,我已经构建了一个小程序,基于我对Arrow…