我研究了这个，试图理解几个变压器单子是如何相互作用的，特别是更好地理解单子并堆叠在一起。lift 对于这里找到的 RWST 单子（我认为这是最好的文档），它是一个堆叠的单子，其中 Reader、Wr...

我想为每个新调用增加一个数字，所以应该用 bonbons（x-20）、bonbons（x-30） 等代替 bonbons（x-10）。 module AufgabeBonbons where bo...

从这篇 Haskell Cafe 的帖子中，借用一些来自 jyp 的代码示例，我们可以在 Haskell 中构建一个简单的 PHOAS 评估器，如下所示： {-# LANGUAGE GADTs #-...

我正在尝试使用 Haskell 在 SDL2 中绘制随机定位的矩形。IO monad 真的让我发疯，我无法让它工作。我已经准备好了样板 SDL2 代码和 的自定义数据类型，我想做的就是在函数中随机生成...

我有一个类型和一个函数Either a [b]f :: (b -> c) 如何使用 on 类型的值来获取？fEither a [b]Either a [c]...

我在 Haskell 库中遇到过几次，但我还不确定它的作用，并且在库文档中找不到它。和一样吗？<*readP<++...

使用以下代码片段： data Circle = Circle { center :: Point , radius :: Double } data Point = Point (Doub...

这个问题的答案是社区的努力。编辑现有答案以改进此帖子。它目前不接受新的答案或交互。 这是怎麽？ 这是常见问答的集合。这也是一个社区维基，所以每个人都被邀请参与维护它。 为什么会这样？ 正则表达式...

我对 Haskell 很陌生，对 Eq 有疑问。 data Rat = Rat Integer Integer normaliseRat :: Rat -> Rat normaliseRat (R...

我编写了一个玩具库，它使用依赖类型来表示货币，并在类型签名中表示货币： data Currency = CHF | EUR | PLN | USD deriving stock (Bounded,...