CS
实现一个 Hindley-Milner 类型系统
随着对函数式语言的兴趣日渐浓厚，我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难，需要大量的基础知识作为铺垫，其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识，并试图整理出来一条脉络以供日后使用。...
Read articleTag
Tag: Lambda
CS
λ演算（一）
1936年，图灵在论文中引入了Turing Machine的概念，与此同时他在丘奇门下攻读博士学位。 而后经Kleene证明： 演算、Turing Machine 和 Kurt Gödel引入的general recursion 函数等价。并由此提出了一个伟大命题——即任何可计算的东西都能被这三种方式所表达。 而函数式语言起源于 丘奇提出的 演算。
Read article