有没有一种方法可以在没有辅助函数的情况下轻松构建 Haskell 中的重复元素列表？
给定一个 (Int, a) 类型的元组，例如 (n,c)，我希望构造一个列表 [a]，其中元素c 重复n 次，即(4, 'b') 变为"bbbb"。我当前的解决方案如下： decode :…
Haskell：接收空列表的函数
以下是我的程序中的一些类型定义仅供参考： type BitString -> String type Plateau -> [BitString] 我有一个名为： --Extract will take a list of l…
类型的总函数 (forall n . Maybe (fn)) ->也许（forall n . (fn)）
是否可以将类型的单射函数编写 hard :: (forall n . Maybe (f n)) -> Maybe (forall n . (f n)) 为总功能程序——也就是说，没有使用错误， undefined…
Haskell hello world 无法编译
这段代码有什么问题？尝试做一个基本的 haskell hello world。 module Main ( hello ) where hello :: [Char] -> [Char] hello p = "Hello " ++ p ++ …
如何“转到定义” Leksah 中的用户定义函数？
我可以通过选择 const 等系统函数，右键单击并选择搜索（元数据）来执行此操作。这对于用户定义的函数不起作用。 你如何进行这样的搜索？ 如果用户定…
复杂状态 Monad 结构
我仍然是 Haskell 的新手，我想我现在已经无法理解了。我的代码如下所示。 data World = World { intStack :: [Int], boolStack :: [Bool] } deriving…
相当于 Haskell 的 WSGI/Rack 的标准 Web 服务器接口
编程语言有（事实上的）标准 Web 服务器接口，例如 Python 的 WSGI、Ruby 的 Rack。 Haskell 有类似的东西吗？我发现了两个试验，Hack 和 HSGI，但我…
需要 MonadPlus (ST a) 实例
我正在阅读论文 Haskell 中的类型化逻辑变量，但我无法理解最终实现的细节。特别是第 4 节中介绍的回溯状态转换器。出于某种我不知道的原因，GHC 认为…
