1 个不稳定版本
0.0.1 | 2019 年 9 月 29 日 |
---|
#12 in #category-theory
7KB
171 行代码(不含注释)
Rarrow
Rarrow 是一个 Rust 范畴论库,它使用 此处 展示的 Plug/Unplug 方法来模拟使用关联类型的高阶类型。
待办事项
- 实现所有标准类型(如 Vector、Either 等)的实例
- 实现库类型(如 im 数据结构)的实例
- 实现透镜(lenses)
- 实现 IO 模态(monad)
0.0.1 | 2019 年 9 月 29 日 |
---|
#12 in #category-theory
7KB
171 行代码(不含注释)
Rarrow 是一个 Rust 范畴论库,它使用 此处 展示的 Plug/Unplug 方法来模拟使用关联类型的高阶类型。