F* 是否支持线性类型？
Does F* support linear types?
根据维基百科关于子结构类型系统的文章，F* 支持某种线性类型。这是真的？如果是这样，如何？我在 F* 教程中找不到任何相关信息。
早期版本的 F* 具有仿射类型（与线性类型密切相关），如 2011 年的这篇论文所述：https://www.microsoft.com/en-us/research/publication/secure-distributed-programming-with-value-dependent-types/
但是，自 2015 年以来的 F* 版本放弃了仿射类型，转而采用其他构造，特别是单子效应，以对有状态资源进行建模。
根据维基百科关于子结构类型系统的文章，F* 支持某种线性类型。这是真的？如果是这样，如何？我在 F* 教程中找不到任何相关信息。
早期版本的 F* 具有仿射类型（与线性类型密切相关），如 2011 年的这篇论文所述：https://www.microsoft.com/en-us/research/publication/secure-distributed-programming-with-value-dependent-types/
但是，自 2015 年以来的 F* 版本放弃了仿射类型，转而采用其他构造，特别是单子效应，以对有状态资源进行建模。