没有合适的资源?快使用搜索试试~ 我知道了~
HMRowUnification.jl:为HM统一提供行多态性支持
共15个文件
jl:5个
yml:3个
md:2个
需积分: 5 0 下载量 163 浏览量
2021-02-17
23:13:08
上传
评论
收藏 35KB ZIP 举报
温馨提示
HMRow统一 用法 using HMRowUnification tctx = HMT[] st = mk_tcstate (tctx); tvar1 = st . new_tvar () tvar2 = st . new_tvar () int_t = Nom ( :int ) # int -> int ~ 'tvar1 -> 'tvar2 # => # 'tvar1 = int # 'tvar2 = int st . unify ( Arrow (int_t, int_t), Arrow (tvar1, tvar2)) # true st . prune .([tvar1, tvar1]) # 2-element Array{Nom,1}: # int # int tv3 = st . new_tvar () tv4 = st . new_tvar () # rec1 ~ {a :
资源推荐
资源详情
资源评论
收起资源包目录
HMRowUnification_jl-master.zip (15个子文件)
HMRowUnification.jl-master
.github
workflows
CompatHelper.yml 457B
TagBot.yml 270B
fig.png 24KB
src
Core.jl 5KB
TCState.jl 12KB
HMRowUnification.jl 301B
Project.toml 334B
.travis.yml 857B
LICENSE 1KB
test
runtests.jl 4KB
README.md 2KB
docs
src
index.md 128B
Project.toml 117B
make.jl 577B
.gitignore 82B
共 15 条
- 1
资源评论
龙窑溪
- 粉丝: 31
- 资源: 4520
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功