task-monad：用于研究任务monad的仓库-源码

task-monad：用于研究任务monad的仓库

movie-monad：由Haskell制作的免费且易于使用的视频播放器-源码

movie-monad：由Haskell制作的免费且易于使用的视频播放器

astar-monad:一个智能的A *搜索monad转换器，支持回溯用户状态！-源码

A *莫纳德 我强烈建议改用 。 警告皇帝; 这还没有经过战斗测试； 它应该可以工作，但是如果您做任何认真的事情，请确保对其进行测试。 使用任意单调效果轻松进行！ A *搜索广泛用于寻路和图形遍历，这是在称为“节点”的多个点之间找到路径的过程。 A *可用于使用适当的启发式成本度量来找到任何问题的最佳路径。 基本 使用<|>或asum （任何使用Alternative东西）分支为多个可能的选择。 使用estimate myCost可以为当前分支设置“启发式”函数的值。 只要您做了足够的工作来更改估算值，就执行此操作。 请记住，A *启发式方法应始终保持乐观（例如，可能会低估成本，但不应过高估计）。 使用spend myCost将费用添加到分支机构的CUMULATIVE费用中。 在产生一些成本时执行此操作，例如，我们已将状态从一个节点移至另一个节点。 每一次spend或estim

monad-memo：记忆monad转换器-源码

monad-memo：记忆monad转换器

monad-skeleton：可操作的monad库-源码

monad-skeleton：可操作的monad库

play-monadic-actions：一个简单的scala DSL，可为Play带来整洁的Monadic风格！ 动作-源码

play-monadic-actions：一个简单的scala DSL，可为Play带来整洁的Monadic风格！ 动作

eff：猫的Eff monad-https：atnos-org.github.ioeff-源码

eff：猫的Eff monad-https：atnos-org.github.ioeff

monad-control：通过monad变压器进行提升控制操作，例如异常捕获-源码

monad-control：通过monad变压器进行提升控制操作，例如异常捕获

learning-fp：在scala上进行函数式编程的边做边学的教程-源码

learning-fp：在scala上进行函数式编程的边做边学的教程

Android-Monad,像scala那样的android上的monad.zip

这个存储库是另一个android-m。

csharp-probability-monad, 面向 C#的概率编程框架.zip

csharp-probability-monad, 面向 C#的概率编程框架 概率 C#基于 C#的贝叶斯建模与推理的一元概率规划。简介一般语言( 甚至在为统计计算设计的许多语言中，比如 R ) 中，贝叶斯模型的描述通常与推理算法紧密耦合。 这种紧密耦合可能会削弱贝叶斯建模的迭代或者探索性方法。概率程序语言

论文研究-Monad在程序设计语言中的应用 .pdf

Monad在程序设计语言中的应用，朱万海，，一般认为，纯函数式语言不能很好的处理诸如错误处理、状态、I/O等非纯函数式语言的特征。Monad作为一种构造函数式语言的工具，以其�

bullet-scala：用于解决对象关系的单子库，旨在避免N + 1查询问题-源码

bullet-scala：用于解决对象关系的单子库，旨在避免N + 1查询问题

dotty-cps-async：Dotty的实验性CPS变压器-源码

dotty-cps-async：Dotty的实验性CPS变压器

monad:将单子语言翻译成逻辑-源码

monad:将单子语言翻译成逻辑

fp-resources：函数式编程的大量资源-源码

fp-resources：函数式编程的大量资源

bind-rs：用于在锈蚀中试用MTL样式的monad的板条箱-源码

绑定器 一箱用于试验锈蚀MTL样式的单子 为什么？ Monad多态性允许我们描述计算而无需先指定具体解释。 例如，如果您想重载函数以使其对rust中的同步代码和async / await代码均适用，则此功能很有用。 如何？ 由于没有HKT生锈，我们可以借鉴的最接近monad的实现是OCaml。 此板条箱在精神上遵循OCaml monad设计，但使用防锈特征而不是模块。 基本上，要向类型系统声明某个类型T是monad，我们首先需要创建一个类型TM作为monad T的“命名空间”。 然后，名称空间和实际的monad表示形式T通过通用的关联类型连接（目前，仍是rustc的不完整功能）。 有关详细信息，请检查任何src/identity.rs ， src/future.rs或src/state.rs等。 例子 在src/lib.rs查看小型测试套件 还要签出examples/balanc

ocaml-caqti：对关系数据的合作线程访问-源码

ocaml-caqti：对关系数据的合作线程访问