CS
实现一个 Hindley-Milner 类型系统
随着对函数式语言的兴趣日渐浓厚，我对设计一门编程语言的冲动也越来越强烈。这个过程非常的艰难，需要大量的基础知识作为铺垫，其中非常重要的部分——类型系统尤为复杂。我从一些博文中了解到了Hindley-Milner类型系统、Algorithm W 和 Algorithm J等等知识，并试图整理出来一条脉络以供日后使用。...
Read articleTag
Tag: 笔记
数学基础
Conceptural Mathematics book notes
全书共五部分，逐章讲述范畴论的基本内容。 Section 1 Galileo and multiplication of objects 四个世纪以前，伽利略对物体运动的问题感到疑惑，他试图弄明白一块丢出去的石头抑或是喷泉中喷出的水柱的精确运动过程。这个过程包括每一时刻物体的位置，这需要一组连续的画面去描述。我们称这种运动是一种从时间向空间的映射(map)。...
Read article