monads 相关问题

如何在 Haskell 的 SDL2 绑定中绘制随机放置的矩形？

我正在尝试使用 Haskell 在 SDL2 中绘制随机放置的矩形。 IO monad 真的快把我逼疯了，我无法让它工作。我已经准备好了 SDL2 样板代码和自定义

Monadic 日志函数利用“using”关键字写入文件

这里有一个新的上下文管理器。 with 悄然消亡，所以自然是时候重新品牌和复兴了:) 设置： 看着新的 using 关键字，我立即发现了一个场景，它会......

理解 Haskell 中的 RWST

我研究了这个，试图理解几个 Transformer monad 是如何相互作用的，特别是更好地理解 monad 的 lift 和 stacking。 对于在这里找到的 RWST 单子（我...

并行 Haskell。对生产者进行速率限制

在Haskell中的并行和并发编程中，Simon Marlow提供了一个基于以下数据的Stream a，以及一些生产者和消费者： 数据列表a = 无 |缺点 (IVar (ILi...

Haskell 中的 Reader Monad。读者作为参数传递到哪里？

在这个 monad reader 示例中： 导入 Control.Monad.Reader 汤姆::读者字符串字符串 汤姆 = 做 环境<- ask -- gives you the environment which in this case is a String return (env ++ "

将 java.util.Function 转换为来自维基百科的 Monad 示例中的非 Lambda 表达式一

有一个非常简单的 Monad 示例，用 Java 编写，摘自维基百科文章。 导入 java.util.function.Function; 接口 Monad { Monad 绑定（功能...

Haskell解释器，不知道如何运行和测试它

我正在将解释器作为项目任务进行工作，为了了解我必须做什么，我决定从互联网下载解释器并运行它。我在Win中启动了指定文件夹...

idris2中的mapM和mapM_相当于什么？

我知道有一个 mapM 函数，它将一元操作应用于列表并返回一个包含列表的一元值。 （参见例如 Haskell中的mapM_和mapM有什么区别？） 但我

Monad 的应用

下面的代码用于测试 2-SAT 布尔公式（仅包含 X v Y 形式的子句的公式）的可满足性。尽管存在其他算法（强连接组件...

为什么单子不能分解？

我不明白为什么我不能分解一个（比如说IO）单子。就像 IO a -> a？ 我的问题源于使用 happstack 并想要从 ServerPart （可能是文本）中获取文本，即

Haskell：将辅助函数内联到 do 块中

通过 Graham Hutton 的 Haskell 编程（第二版），我刚刚成功解决了练习 10.5（第 138 页）。任务是编写一个函数 adder::IO() 来读取 n 个数字（即

在 Haskell 中定义 monad

我目前正在阅读 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 的情况下完成

Scala IO monad：有什么意义？

我最近观看了一个关于如何提出 IO monad 的视频，演讲是用 scala 进行的。我实际上想知道让函数返回 IO[A] 的意义何在。拉姆达快车...

如何使用 Monad 实现全局计数器？

我需要一个全局计数器，从0,1,2,3,......开始 我有点明白这个“不纯”的代码应该单独实现...我刚刚开始了解 Monad，但不知道ho...

Haskell 中单子上下文下无限列表的惰性

我目前是第一次学习haskell，在理解惰性求值方面遇到了很多困难。 主要问题是，在以下场景中，有些行为是懒惰的，有些则不是......

为什么我们在测试一个对象是否是 Monad 时需要检查所有三个 Monad 法则？

据我了解，三个一元法则如下（我来自Java背景而不是Haskell，所以请原谅我的语法）： 左身份法： Monad.of(x).flatMap(y -> f(y)) = f(x) ...

String.IsNullOrEmpty Monad

我最近开始涉足函数式编程的迷人世界，很大程度上是因为在 React 等 FP 平台上获得了经验，并阅读了 https://blog 等博客。

我想读取一个文件，删除重复的行并将（唯一的行）写入另一个文件

我是haskell新手，我正在尝试解决这个问题。给定 2 个文件，一个输入文件和输出文件，我想从输入文件中读取，删除重复的行，然后将（唯一的行）写入...