free-monad
-
作为自由 monad 的 identity monad
-
状态机的索引单子
-
list monad 不是一个免费的 monad，而是……
-
如何编写自由 Monad
-
我如何多态地解释类似 Arrow 的 GADT DSL？
-
理解 bind 在 free monad 中的使用
-
使用 Free Monad 实现词法分析器
-
在功能域设计中使用免费 Monad
-
如何使用可扩展效果获得“monad 转换器的不灵活语义”？
-
如何使免费的 monad 解释器递归？
-
在 Polysemy 中将 monadic 值转换为 IO
-
free monad 应该基于的仿函数在哪里
-
IO 是一个自由的 Monad 吗？
-
将此 FreeT（显式递归数据类型）函数转换为适用于 FT（教会编码）
-
如何指定在 class 的匹配中引入的具有独立类型参数的类型
-
将多个 IO 异常提取为多义词
-
以与 Free Monad 兼容的方式定义 Free Bind
-
免费的 monads 也可以快速应用吗？
-
压缩自由 monad 变换器
-
在 RWS monad 中解释 Teletype 免费 monad