文件名称：delimcc:字节码和本机 OCaml 中的分隔延续
文件大小：50KB
文件格式：ZIP
更新时间：2024-06-17 23:55:15
ocaml continuations shift-reset OCaml
delimcc 库 字节和本机代码 OCaml 的持久分隔延续的直接实现 免责声明 我（@zinid）不是图书馆的作者。 我实际上几乎无法理解这个主题。 原作者是。 我维护这个 repo 的原因是为了保持 opam 的版本控制和易于安装，因为作者太......忙（？）做这件事。 请不要在这个 repo 中打开问题，我只是忽略它们。 但是，欢迎 PR。 概述 库 delimcc 为字节和本机代码 OCaml 实现了多提示分隔的控制运算符。 该库实现了 Dybvig、Sabry 和 Peyton-Jones 提出的接口的超集： 分隔连续的单子框架 R. Kent Dybvig、Simon Peyton Jones 和 Amr Sabry JFP，v17，N6，第 687--730 页，2007 年 该框架支持static' (shift/reset) and动态（提示/控制、移位0、控制0
【文件预览】：
delimcc-master
----testd0.ml(9KB)
----sieve.ml(3KB)
----tests0.ml(3KB)
----opam(460B)
----stacks.c(12KB)
----META(170B)
----Makefile(5KB)
----paper_example.ml(5KB)
----lwc.ml(2KB)
----LICENSE(1KB)
----delimcc.mli(2KB)
----delim_serialize.c(16KB)
----bench_nondet.ml(9KB)
----memory_leak_plugged.ml(2KB)
----README.md(10KB)
----bench_exc.ml(3KB)
----memory_leak1.ml(3KB)
----bench_coroutine.ml(7KB)
----stacks-native.c(33KB)
----delimcc.ml(25KB)
----lwc.mli(1000B)