F *是否支持线性类型？

Question

根据Wikipedia的有关子结构类型系统的文章，F *支持某种线性类型。这是真的？如果是这样，怎么办？我在F *教程中找不到有关它的任何信息。

Answer 1

F *的早期版本具有仿射类型（与线性类型密切相关），如2011年的这篇论文所述：https://www.microsoft.com/en-us/research/publication/secure-distributed-programming-with-value-dependent-types/

但是，自2015年以来的F *版本放弃了仿射类型，转而使用其他构造（尤其是Monadic效应）来建模有状态资源。