#mlsub

揭开MLsub的神秘面纱--代数子类型化的简单本质
Demystifying MLsub – The Simple Essence of Algebraic Subtyping(lptk.github.io)
2020-7-26 23:53
注：这篇网络文章是一篇论文的较旧版本，现已作为ICFP珍珠出版。你可以在这里找到那份报纸的预印本。 代数子类型化是有子类型化的全局类型推理的一种新方法。它扩展了传统的Hindley-Milner类型推理，同时保留了主体类型属性-也就是说，它总是可以为任何给定的表达式推断出最通用的类型。这种方法是由斯蒂芬·多兰(Ste......