没有合适的资源?快使用搜索试试~ 我知道了~
ocaml_inline_option:在 OCaml 中对选项类型的优化表示进行实验
共6个文件
ml:2个
c:1个
md:1个
需积分: 5 0 下载量 131 浏览量
2021-06-12
17:16:25
上传
评论
收藏 5KB ZIP 举报
温馨提示
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.zip (6个子文件)
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
共 6 条
- 1
资源评论
安幕
- 粉丝: 27
- 资源: 4785
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功