【文件属性】：
文件名称：ocaml_inline_option:在 OCaml 中对选项类型的优化表示进行实验
文件大小：5KB
文件格式：ZIP
更新时间：2021-06-12 17:16:25
C
ocaml_inline_option：在 OCaml 中对选项的优化表示进行实验
在 OCaml 中，可选值用'a option ，这是一个正常的总和类型，定义为：
type 'a option = None | Some of 'a
可选值的具体运行时表示遵循和类型的正常策略： None构造函数表示为整数0 ，而Some构造函数将其参数包装在大小为 1（和标记 0）的已分配块中。 这意味着对Some任何调用都会分配，并且诸如Some []类的值会在堆上占用一些空间。
此存储库将试验可选值的替代临时表示。 基本思想是将Some x表示为值x本身。 当然，当x为None时，这不起作用，因为如果人们在他们的代码中使用形式'a option option的类型，则需要区分None和Some None 。 当x与None共享相同的表示时，同样适用。 例如，只要None被表示为0 ， So
【文件预览】：
ocaml_inline_option-master
----Makefile(243B)
----test.ml(358B)
----README.md(6KB)
----inline_option_runtime.c(773B)
----inline_option.ml(234B)
----inline_option.mli(115B)