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

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