标签： type-systems hindley-milner linear-types
在仿射类型系统中，资源最多可以使用一次。
从Hindley-Milner类型系统开始，强制执行亲和关系的一种简单方法是，只要使用变量的输入规则，就可以从当前的输入上下文中删除变量（如LinearML上的这些slides建议，在第15页）。
这是强制执行亲和力吗？还是有更复杂的事情要做？