CS
实现一个 Hindley-Milner 类型系统
随着对函数式语言的兴趣日渐浓厚，我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难，需要大量的基础知识作为铺垫，其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识，并试图整理出来一条脉络以供日后使用。...
Read articleTag
Tag
CS
随着对函数式语言的兴趣日渐浓厚，我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难，需要大量的基础知识作为铺垫，其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识，并试图整理出来一条脉络以供日后使用。...
Read article