文件名称:
mgt:Campora等人的“迁移渐进类型”的实现-源码
开发工具:
文件大小: 99kb
下载次数: 0
上传时间: 2021-03-31
详细说明：t
Campora，Chen，Erwig和Walkingshaw的“迁移渐变类型”的实现（ ， ）。
紧随形式主义，即标签最接近纸张。 有几项补充和更改：
一些微小的错误修复和与本文的分歧。
大多数情况下必须执行约束生成和统一。
约束生成采用一个可选的用渐进类型注释的术语，并返回一个完全用迁移类型注释的术语。
操作员超载。
要使用ocaml编译器，您需要通过OPAM安装mgt运行时软件包。 通过固定最容易做到这一点：
$ cd ocaml
$ opam pin add .
此后，运行mgt编译器时， cargo build和cargo run应该可以正常工作。
超载
考虑一下JS中的==这样的源操作：
true == true
1 == 1
0 == false
这些都返回true 。 在目标语言中，实际上存在三个基础操作：
==b : bool ->
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
相关搜索:
