Haskell是一种函数式编程语言，具有强大的静态类型，惰性求值，广泛的并行性和并发支持以及独特的抽象功能。
介绍和背景 在 Haskell 中，我们有函数 tail 提供列表的后缀。 例如： 尾部 [1,2,3] 给出 [2, 3] 函数 tails 将给出所有后缀： 尾巴...
如何使用 gi-gtk 和 GTK3 捕获 eventBox 中的事件
我想将用gtk2hs（Gtk2）编写的程序移植到gi-gtk（Gtk3），但我不明白如何捕获点击，滚动和其他事件。 在我之前的代码中，我创建了一个事件框并捕获了...
Haskell，实现 Monoids。什么是半群以及为什么它表现得如此奇怪？
我想实现一个名为 ComplexNumber 的自定义数据类型，如下所示： 数据 复数 a = C (a, a) 现在我想实现 Monoid 变量并定义二进制空元素和映射...
迭代 :: (a -> a) -> a -> [a] （您可能知道）迭代是一个接受函数和起始值的函数。然后它将函数应用到起始值，然后应用......
按照此链接并尝试堆栈运行此模块： 模块主要在哪里 导入 Language.Haskell.Interpreter 主要::IO() 主要=做 _ <- runInterpreter $ setImports ["Prelude&qu...
我正在尝试使用 Gtk4 和 Haskell 显示视频，但我在执行此操作时遇到了一些问题。 这是到目前为止我的代码。我已经修改了 https://github.com/haskell-gi/haskell-gi/blob/
我一直在读一些haskell书籍，他们总是说“这个函数将应用于这个论证”，但我忽略了这一点，因为我认为它更直观......
我正在尝试实现一个计数器，我想将 State Int 类型的内容转换为 Int，这样我就可以将其添加到变量中。有人可以帮我开发一个辅助功能来执行此转换吗...
我目前正在开发一种需要生成可用性的预订系统。因此，一个关键要求是在给定范围内生成不同的时间列表。 数据时隙生成模式 =
我试图理解这里找到的代码。我是 OCaml 人，而不是 Haskeller。 作者定义了以下代数数据类型和一些相关函数——其中的细节......
看起来依赖类型语言并不是图灵完备的。为什么我们不能允许每个函数都具有通用递归（这将使语言图灵完整）？ 有什么东西
我正在尝试将 GHCUP 从 C:\ 驱动器迁移到 D:\ 驱动器。我已经调整了 PATH 和 GHCUP_INSTALL_BASE_PREFIX 的环境变量以显示新驱动器。我还需要改变什么...
如何正确使用PatternSynonyms：要么多余，要么不完整，要么例外
假设我想通过使用 DInt 对多个模式进行分组来简化案例分析。 PatternSynonyms 扩展非常适合它。我使用 COMPLETE pragma 来避免有关不完整情况的警告
例如： Agda：https://en.wikipedia.org/wiki/Agda_(programming_language)#:~:text=Agda%20is%20a%20total%20语言，可能%20to%20证明%20任意%20语句 Coq：有什么实用的
例如Agda和Coq。 与 Idris2 和 Fstar 相比。 另外，诸如 Agda 之类的依赖类型编程语言不是图灵完备的，是否存在实际缺点，或者它是……
假设我在 UML 类图中有 A ---r1 {bag} [1..2]--> B （也就是说，r1 是从 A 到 B 的关联，并用 {bag} 和多重性进行注释[1..2]。 我的问题：如果 a:A 是一个实例...
我定义了一个类似于接口的类型类，其中包含我的程序所需的一堆函数。可悲的是，它需要多个多态类型，但并不是这种多参数类型的每个函数......
我是 Haskell 新手，正在学习如何使用 Haskell 编写编译器。我使用如下所示的 monad 语法在“Monadic Parser Combinators”中重写了这些代码。一切似乎都运转良好...
我想使用haskell模块Text.XML.Cursor来解析xml文档。 首先，我使用 fromDocument 将文档转换为游标，然后应用一些过滤器。现在我想拿回文件。我...
Cabal 安装（Cabal cabal-install）由于缺少 zlib 库而失败
我想在 Ubuntu 20.04 上安装 Cabal 3.4.0.0。 $ sudo apt install cabal 安装 $ cabal --版本 cabal-安装版本 2.4.0.0 $ sudo cabal 更新 $ sudo cabal install Cabal cabal-install ...