类型系统与编程语言

类型系统与编程语言，《Types and Programming Languages》TAPL的阅读笔记。

小专题：C和Java和ML之间的关系

当你发现，简单编程语言，一只手就能数过来的语句种类，加上各种语法糖，居然表达能力就等价于我们常用的C、Java等语言了

盘点C语言的语句： 1. 赋值语句 1. 取地址 1. 解引用加载 1. 解引用存储 1. 内存分配 1. 函数调用