使用 Freer Monads 构建 Haskell 中的模块化效果系统
在 Haskell 中，利用 freer monads 构造可扩展的效果系统，避免 monad transformer 栈的复杂性，实现更简单的、可组合的解释器和效果处理器。
分类：functional-programming
共 5 篇文章
使用 Löb 归纳和 Möbius 反演在 Haskell 中推导迭代循环
通过 Löb 归纳法处理固定点和 Möbius 反演处理求和，在 Haskell 中实现无递归迭代循环，结合依赖类型组合子和范畴论证明，提供实用参数和代码示例。
Mondrian中棱镜遍历的实现：使用Haskell光学进行安全非突变数据修改
在Mondrian库中，利用棱镜构建遍历，实现对求和类型数据结构的非突变修改，提供工程参数与最佳实践。
Mondrian: Composable Optics for Efficient Data Pipelines
Explore composable traversals and folds in Mondrian for type-safe data querying without runtime cost.
OCaml式运行时中代数效应的实现：处理器栈、恢复机制与效应多态
在OCaml-like运行时中，利用代数效应实现可组合的异步IO和错误处理，包括处理器栈管理、恢复机制及效应多态集成，提供工程化参数和监控策略。