6

在仿射类型系统中，资源最多只能使用一次。

从 Hindley-Milner 类型系统开始，似乎一个简单的方法来强制关联是在使用变量的类型规则时从当前类型上下文中简单地删除一个变量（正如LinearML 上的这些幻灯片所建议的，第 15 页）。

这就是执行亲和力的全部内容吗？还是有什么更复杂的事情要做？

4

0 回答 0