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