当前分类:free-monad

haskell - 在 Purescript 中操作自由 Monad

Haskell:在 FreeMonad 解释器中使用 MonadState 进行内存

haskell - 使用免费 Monad 对概率编程语言进行建模观察

scala - 为什么这个免费 Monad 解释器不能将 String 解析为 Id[A]

haskell - 将一元值转换为多义词中的 IO

scala - 在自由 monad 中使用 Either

haskell - 如何将 MonadLogger 添加到我的免费 monad 转换器堆栈中?

parsing - 使用 Free Monad 实现词法分析器

haskell - 如何将自由的一元 DSL 与状态交错,但在程序中解释状态?

scala - 自由 Monad 的条件行为

haskell - Freer-Simple Freer Monads 如何将 IO 异常处理与错误效果统一起来

scala - 如何指定具有独立类型参数的类匹配中引入的类型

scala - 作为自由单子(monad)的恒等单子(monad)

purescript - 为自由 monad 定义一个解释器

haskell - 限制效果,例如 `Freer` ,使用 MTL 样式

haskell - list monad 不是一个免费的 monad,但是……

haskell - 这种自由(更自由?)单子(monad)的构造有效吗?

haskell - 如何使用可扩展效果获得 “inflexible semantics of monad transformers”?

haskell - 如何使免费的 monad 解释器递归?

scala - free monad 应该基于的仿函数在哪里

热门标签: