max*_*max 6 type-systems hindley-milner linear-types
在仿射类型系统中，资源最多可以使用一次。
从 Hindley-Milner 类型系统开始，似乎强制关联的一种简单方法是在使用变量的类型规则时简单地从当前类型上下文中删除变量（如LinearML 上的这些幻灯片建议，第 15 页）。
这就是加强亲和力的全部内容吗？或者还有什么更复杂的事情要做？
归档时间：
9 年 前
查看次数：
212 次
最近记录：