文件名称:effects-examples:举例说明代数效应在多核 OCaml 中的使用
文件大小:46KB
文件格式:ZIP
更新时间:2024-08-13 00:31:31
OCaml
OCaml 效果示例 举例说明代数效应在 OCaml 中的使用。 看 例子 MVars Chameneos-redux 记忆 不确定性 数学游戏:Nim 消息传递管道:Eratostheneses 的筛选 深管 不终止效果 继续克隆很棘手 相同边缘问题的解决方案 反向模式算法微分 运行示例 按照说明安装 Multicore OCaml 。 然后, $ opam install dune lwt $ make 这将构建所有示例。 外部示例 这些是使用不在此 repo 中的 OCaml 效果处理程序的其他示例: React式 UI 和动画 概率规划和 项目报告
【文件预览】:
effects-examples-master
----.gitignore(205B)
----eratosthenes.ml(4KB)
----transaction.ml(1KB)
----concurrent.ml(780B)
----algorithmic_differentiation.ml(2KB)
----nim.ml(9KB)
----Makefile(1KB)
----fringe.ml(3KB)
----.travis.yml(105B)
----.travis.sh(714B)
----delimcc_paper_example.ml(5KB)
----mvar()
--------Makefile(1013B)
--------chameneos_systhr.ml(4KB)
--------sched_monad.mli(473B)
--------MVar.ml(1KB)
--------chameneos.hs(2KB)
--------sched.mli(849B)
--------MVar.mli(1KB)
--------dune(236B)
--------MVar_monad.ml(1KB)
--------chameneos.ml(3KB)
--------chameneos_lwt.ml(3KB)
--------MVar_test.ml(535B)
--------concurrent_monad.ml(735B)
--------sched.ml(833B)
--------chameneos_monad.ml(3KB)
--------sched_monad.ml(1KB)
--------MVar_monad.mli(145B)
----LICENSE(760B)
----sched.mli(157B)
----pipes.ml(2KB)
----promises.ml(4KB)
----dune(1KB)
----README.md(3KB)
----dyn_wind.ml(752B)
----dune-project(16B)
----queens.ml(1KB)
----sched.ml(682B)
----nondeterminism.ml(4KB)
----memo.ml(2KB)
----ref.ml(1KB)
----loop.ml(168B)
----state.ml(919B)
----delimcc.ml(3KB)
----reify_reflect.ml(3KB)
----clone_is_tricky.ml(530B)
----dynamic_state.ml(6KB)
----callbacks()
--------dune(263B)
--------bar.mli(48B)
--------bar.ml(1KB)
--------foo.c(860B)
----aio()
--------aio.ml(6KB)
--------dune(66B)
--------echo.ml(3KB)
--------aio.mli(709B)
----generator.ml(3KB)