通过Rust中的算法W 进行 Hindley-Milner类型推断的基本实现_rust_代码_下载

上传者: 38334677 | 上传时间: 2022-06-11 14:03:45 | 文件大小: 13KB | 文件类型: ZIP
这是通过算法 W 实现的 Hindley-Milner 类型推断。鉴于抽象 某些程序的语法树,其格式类似于 lambda 演算,但扩展为支持 各种原始类型和值与名称的绑定,它将确定最通用的类​​型 该程序。类型变量只会在必要时被实例化。 复杂性类是 EXPTIME。由于输入的复杂性,很难 更具体地确定算法在输入上的行为方式。两个测试用例 证明这一点——通过改变单个应用程序的顺序,它从产生一个小类型 作为一个非常大的输出。

文件下载

资源详情

[{"title":"( 5 个子文件 13KB ) 通过Rust中的算法W 进行 Hindley-Milner类型推断的基本实现_rust_代码_下载","children":[{"title":"algorithmw-rust-master","children":[{"title":"Cargo.toml <span style='color:#111;'> 109B </span>","children":null,"spread":false},{"title":"LICENSE <span style='color:#111;'> 16.33KB </span>","children":null,"spread":false},{"title":"src","children":[{"title":"w.rs <span style='color:#111;'> 14.75KB </span>","children":null,"spread":false},{"title":"main.rs <span style='color:#111;'> 5.22KB </span>","children":null,"spread":false}],"spread":true},{"title":"README <span style='color:#111;'> 3.72KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]

评论信息

免责申明

【只为小站】的资源来自网友分享,仅供学习研究,请务必在下载后24小时内给予删除,不得用于其他任何用途,否则后果自负。基于互联网的特殊性,【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查;无论 【只为小站】 经营者是否已进行审查,用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场,基于网友分享,根据中国法律《信息网络传播权保护条例》第二十二条之规定,若资源存在侵权或相关问题请联系本站客服人员,zhiweidada#qq.com,请把#换成@,本站将给予最大的支持与配合,做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明