尝试理解 scalaz 状态 monad
我正在尝试在我的电梯项目中开始使用 scalaz。为此，我重写了一些代码以满足这种风格。考虑一个用于登录用户的代码： def login: CssSel = { var pass…
如何在两个 monad 之间共享状态？
我遇到了以下 monad 问题： 假设我有一个标准 monad 状态，状态为 S = (LS, RS)。我还有另一个 monad： newtype StateP a = StateP {runP :: S -> (a,…
State 和其他 MTL monad 的应用实例？
查看 Control 的文档。应用性，我注意到它们有某些单子的实例声明（例如IO、Maybe，尤其是ST） ，但是有没有 MTL monad 的实例，例如 State 和 RWS。…
Haskell：在状态中迭代，如何强制我想要的行为？
这是我在 SO 上的第一篇文章，我对 Haskell 还比较陌生，所以请原谅任何失误或者我的代码不惯用！ 考虑以下两个直观描述：a、f(a)、f(f(a))... A. 包…
scalaz List[StateT].sequence - 找不到参数 n 的隐式值：scalaz.Applicative
我试图根据我的 StateT 组合两个 State 状态转换器questions/7734756/scalaz-state-monad-examples/7734876#7734876">Scalaz 状态 monad 示例 答案。 …
复杂状态 Monad 结构
我仍然是 Haskell 的新手，我想我现在已经无法理解了。我的代码如下所示。 data World = World { intStack :: [Int], boolStack :: [Bool] } deriving…
Haskell 中使用 State-Monad 的类设置方法
我最近看了 Haskell 的 Monad - State。我已经能够创建与这个 Monad 一起操作的函数，但我试图将行为封装到一个类中，基本上我试图在 Haskell 中复制…
OCaml 中的状态 monad
我试图在 OCaml 中实现状态 monad（作为练习）。我的实现如下所示： module type MONAD_BUILDER = sig type 'a t val return : 'a -> 'a t val bind :…
基本 Scalaz 状态问题
如何使用 State 来模仿 List.zipWithIndex 的行为？到目前为止我想出的（不起作用）是： def numberSA[A](list : List[A]) : State[Int, List[(A, Int…
结合 StateT 和 State monad
假设我有一个函数 f :: State [Int] Int 和一个函数： g :: StateT [Int] IO Int 我想在 g 中使用 f 并在它们之间传递状态。有没有库函数 StateT（返…
状态单子：用一种模式交换另一种模式？
因此，我正在用 Haskell 编写一个游戏，并将玩家的回合表示为一系列与各个回合阶段相关的状态改变函数。最初，这看起来像： let game' = phase1 game …
使用 monad 获得更优雅代码的技巧？
我终于掌握了如何使用 monad（不知道我是否理解它们......），但我的代码从来都不是很优雅。我猜想是因为缺乏对 Control.Monad 上的所有这些功能如何…
