会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
sfzyk
Powered by
博客园
博客园
|
首页
|
新随笔
|
联系
|
订阅
|
管理
2018年9月24日
tiger-complier 问题记录 类型检查
摘要: 1 注意区分 Ty_xxx 和 a_ 的区别 A 开头是对应的是原程序中的一个实体 Ty _ 开头则是类型检查中的一个抽象类 代表了一类实体 比如 A_recordTy 是原程序中的 type per {name:string , age:int} Ty_record 则是一种类型的抽象 是 Ty_
阅读全文
posted @ 2018-09-24 12:31 sfzyk
阅读(184)
评论(0)
推荐(0)
编辑