我的一个cabal库已达到 this GHC bug.我目前在源代码中有一个解决方法,但是由于此GHC错误现已在7.8.3中修复,我计划很快删除该解决方法.我不知道如何处理这种情况,使图书馆拒绝在GHC 7.8.0-7.…
标签:haskell
如何逐步更新Haskell中的GUI,计算在用户事件中被中断?
我正在考虑编写像Qt的 Mandelbrot Sample这样的程序.在该示例中,建立GUI /工作线程分离,在后台线程上执行计算.随着迭代地提供更多细节,图像数据被发送回GUI窗口以供显示.如果鼠标在正在进行的计算仍在…
haskell – 在Cabal测试套件中查找我的可执行文件
我正在尝试为可构建可执行文件的cabal项目编写测试套件.我希望套件中的测试运行该特定的可执行文件,但我不知道在哪里找到它(因为我的测试可能是从某个未知位置的沙箱运行). 当Cabal调用我的测试套件时,Cabal应该知…
haskell – 聚合函数作为选择结果
是否可以写 select min(next) from participant; 作为esqueleto查询? UPDATE 我发现了min_函数.但是,代码 nextMessageTime = from $\p -&g…
haskell – 类型族被卡在可以简化使用函数依赖的等效类型的地方
我正在尝试实现map tagSelf :: [a] – > [标记为a]和 map untag :: [标记为a] – > [a]具有良好的类型推理 HList的属性. TF版本很接近,但我有一个 FD时类型…
haskell – GHC何时可以推断出约束变量?
我得到类型推断错误,因为GHC不会推断约束变量.它看起来可以通过一阶统一来推断.在进一步调查中,我发现插入let-bindings会改变类型推断的行为.我想知道GHC在做什么. 这里的代码演示了这个问题.新类型Const…
haskell – 封闭式系列中的模式匹配
我无法尝试使用GHC 7.8的新封闭式系列功能 我想找到一种很好的方法来分支类型级别的结构. 我有类似的东西 data (:::) :: Symbol -> * -> * where data Result …
haskell – FreeT的MonadTransControl实例
是否可以为 FreeT实施 MonadTransControl实例?我从以下开始,但卡住了: instance (Functor f) => MonadTransControl (FreeT f) where ne…
haskell – 将York Lava功能转换为Kansas Lava
我在这里有一个York Lava函数,我想在Kansas Lava中重写它.但它不想工作,我不知道我应该这样做. 请有人帮我这个吗? {-Serial In - Parallel Out shiftregister. T…
Haskell:GHC不能推断出类型.由类型签名错误绑定的刚性类型变量
我看过一些有类似主题的帖子,但它们并没有真正帮助我解决我的问题.所以我敢重复一遍. 现在我有一个带签名的函数: run' :: Expr query => RethinkDBHandle -> query -…
什么是在haskell中转移状态变化的好包装器?
为了我自己的兴趣,我正在尝试实现一个简单的FRP后端. 我决定使用纯函数:所以,核心没有IO.该实现基于信号变压器. 我已经尝试了两种方法: newtype SF a b = SF { listen :: [a] -&g…
使用Scala无法模拟Haskell中的哪些功能?
目前我正在学习 Scala和Haskell. 我想知道Haskell在某种程度上是否比Scala(ScalaZ)更强大?我知道例如Haskell的代数数据类型,TypeClasses,currying,laziness等…