没有合适的资源?快使用搜索试试~ 我知道了~
polytype-Hindley-Milner多态打字系统-Rust开发
共12个文件
rs:7个
gitignore:1个
md:1个
需积分: 8 0 下载量 75 浏览量
2021-05-27
20:12:38
上传
评论
收藏 20KB ZIP 举报
温馨提示
polytype一个Hindley-Milner多态打字系统。 通过统一实现类型推断。 用法[依存关系]多型=“ 6.1”多型提供了多型A Hindley-Milner多态打字系统。 通过统一实现类型推断。 用法[dependencies] polytype =“ 6.1” polytype提供TypeSchema和Type枚举,Context结构和tp! 和ptp! 有助于简明地创建类型和类型模式的宏。 统一:let mut ctx = Context :: default(); // t1:list(int→α); t2:list(β→bool)令t1 = tp!(list(tp!(@ arrow [tp!(int),tp!(0)]))); 让t2 = tp!(list(tp!(@ arrow [tp!(1),tp!(bool)])))); ctx.unify(&t
资源推荐
资源详情
资源评论
收起资源包目录
polytype-rs-master.zip (12个子文件)
polytype-rs-master
.gitignore 32B
benches
bench.rs 1KB
src
parser.rs 6KB
context.rs 14KB
types.rs 19KB
macros.rs 6KB
lib.rs 10KB
.travis.yml 1KB
LICENSE 1KB
Cargo.toml 642B
README.md 2KB
tests
tests.rs 10KB
共 12 条
- 1
资源评论
你就应该
- 粉丝: 43
- 资源: 4600
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功