摘要：
搞竞赛的时候学的 C 语言，这门语言对我来说应该算是很亲切了。 然而竞赛涉及到的语言特征毕竟有限，较为偏向理论，与工作时需要用到的相关语言特征肯定有很大不同。遂萌生了想从零开始系统的学习一下 C 语言和面向对象编程理念的想法，那么就从 coursera 上的这门课开始吧！ 第三次数学危机到图灵机 哥 阅读全文
摘要：
Week 4 我们主要介绍 type inference 和 module 系统。 What is type inference？ 对于 静态类型语言 (Statically typed languages) 如 ML，Java 与 C，每一个 binding 的类型是在编译时确定的。type-ch 阅读全文