eioio:多核OCaml的基于效果的直接样式IO 源码
eioio-基于效果的OCaml并行IO 该库为多核OCaml实现了基于效果的直接样式IO堆栈。 该库非常有待开发,因此这是一个未发布的存储库。 有关效果系统的一些背景可以在以下位置找到: (出现,PLDI 2021) 效果示例: :
文件列表
eioio-main.zip
(预估有个12文件)
eioio-main
.gitignore
24B
eunix.mli
1KB
zzz.ml
3KB
dune
118B
README.md
703B
dune-project
345B
tests
eurcp.ml
1KB
eurcp_lib.ml
1KB
暂无评论