编程中的monad是可组合的计算描述。 Monads是Haskell等函数式编程语言中的重要构造。
将 java.util.Function 转换为来自维基百科的 Monad 示例中的非 Lambda 表达式一
有一个非常简单的 Monad 示例，用 Java 编写，摘自维基百科文章。 导入 java.util.function.Function; 接口 Monad { Monad 绑定（功能...
我正在将解释器作为项目任务进行工作，为了了解我必须做什么，我决定从互联网下载解释器并运行它。我在Win中启动了指定文件夹...
我知道有一个 mapM 函数，它将一元操作应用于列表并返回一个包含列表的一元值。 （参见例如 Haskell中的mapM_和mapM有什么区别？） 但我
下面的代码用于测试 2-SAT 布尔公式（仅包含 X v Y 形式的子句的公式）的可满足性。尽管存在其他算法（强连接组件...
我不明白为什么我不能分解一个（比如说IO）单子。就像 IO a -> a？ 我的问题源于使用 happstack 并想要从 ServerPart （可能是文本）中获取文本，即
通过 Graham Hutton 的 Haskell 编程（第二版），我刚刚成功解决了练习 10.5（第 138 页）。任务是编写一个函数 adder::IO() 来读取 n 个数字（即
我目前正在阅读 Kan Extensions for Program Optimization，在论文的第一页中，作者定义了给定 M a monad 的以下 monad 输入 C a = ∀z 。 (a → M z ) → M z 实例莫...
Haskell 中的“guard”（而不是“guard”）可以用来为“Left”指定特定消息吗
RIO-Prelude 的防护功能是否提供任何方法来决定消息的内容（如果消息未通过 Either-Monad）？这样例如 somefun :: 要么字符串 Int somefun = 守卫 (4+2 == 8);
在 Haskell 中应用更改到外部 Monad，而不使用 Transformer monad
我正在尝试做类似以下的事情，如果 State-Monad 的状态不满足特定条件，我想返回错误消息，是否可以在不使用 lift 的情况下完成
我最近观看了一个关于如何提出 IO monad 的视频，演讲是用 scala 进行的。我实际上想知道让函数返回 IO[A] 的意义何在。拉姆达快车...
我需要一个全局计数器，从0,1,2,3,......开始 我有点明白这个“不纯”的代码应该单独实现...我刚刚开始了解 Monad，但不知道ho...
我目前是第一次学习haskell，在理解惰性求值方面遇到了很多困难。 主要问题是，在以下场景中，有些行为是懒惰的，有些则不是......
为什么我们在测试一个对象是否是 Monad 时需要检查所有三个 Monad 法则？
据我了解，三个一元法则如下（我来自Java背景而不是Haskell，所以请原谅我的语法）： 左身份法： Monad.of(x).flatMap(y -> f(y)) = f(x) ...
我最近开始涉足函数式编程的迷人世界，很大程度上是因为在 React 等 FP 平台上获得了经验，并阅读了 https://blog 等博客。
我想读取一个文件，删除重复的行并将（唯一的行）写入另一个文件
我是haskell新手，我正在尝试解决这个问题。给定 2 个文件，一个输入文件和输出文件，我想从输入文件中读取，删除重复的行，然后将（唯一的行）写入...
我使用的许多 Parsec 组合器属于以下类型： foo :: CharParser st Foo CharParser 在这里定义为： 类型 CharParser st = GenParser Char st 因此，CharParser 是一个类型同义词，涉及...
在 monad 中应用 fm vm 函数以将 fm monad 中的函数应用于 vm monad 中的值 [关闭]
我已经将这个 Option monad 定义如下： 输入'一个选项=无|一些'a 模块 OptionMonad = 结构 输入'a t = '一个选项 让返回 v = 一些 v (* let bind m f = match m with*)...
是否有 Stream 类型的标准类型（特别是在 stdlib 中）（我指的是潜在的无限惰性序列），它允许在访问下一个元素时产生效果？有点像...
Haskell 为什么在 monad 中是 System.Random
我想使用随机数生成器。经过研究我发现，System.Random 是唯一的方法（除了自己编写 RNG）。有人可以告诉我什么
fp-ts TaskEither pipeline 由 Either pipelines 组成
我正在使用 fp-ts 模块 Either 和 TaskEither 编写程序/管道，其中第一步是执行可能会失败的 TaskEither 异步操作（“为 ID 获取文档……