论文标题
带有Hindley-Milner样式推理的仿射类型系统
An Affine Type System with Hindley-Milner Style Type Inference
论文作者
论文摘要
本文首先为仿射类型系统提供了基于算法W的类型推理算法。然后，本文进一步假设配备了上述类型系统的语言使用懒惰的评估，并探讨了将！ - 模样作为用户定义的类型类型的代名词的可能性，这是新获得的多态性的幂的同义词。
This article first provides an algorithm W based type inference algorithm for an affine type system. Then the article further assumes the language equipped with the above type system uses lazy evaluation, and explores the possibility of representing the !-modality as a user-defined type synonym with the power of the newly gained polymorphism.
