哈佛 CS51 计算中的抽象和设计 ⭐️

课程名称： Abstraction and Design in Computation
课程官网地址：cs51课程官网
先修课程： CS50 计算机科学导论
重要程度： ※※※※
课程评点： 本课使用的是函数式编程语言OCaml，可以和普林斯顿 COS326 函数式编程一起学习。

课程说明

美国的名校是比较重视函数式编程以及程序设计语言理论(Programming language theory,PLT)，关于函数式编程以及PLT相关的课程，基本都是必修（以及是不少核心课程的先修课），国内则极少有学校开设这方面的课程，而且极少有相关岗位。如果你有足够的学习时间（或读研），建议按照这些名校的学习路径认真学习，但如果你时间紧迫，有就业压力，这些课程可以不学。

这些课程大多都没有开放的视频，大家可以阅读一下推荐的教材以及文档，也可以去知乎了解一下相关的信息。这些名校推荐的教材都为大家整理好并提供了百度下载链接，感兴趣的同学可以把这些课程都了解一下。

CS51 主要介绍计算机程序设计的基本概念，强调抽象的关键作用。该课程的目标是让学生深入了解编程和编程良好之间的区别。同一个问题可以用不同的方式解决，不同的解决方案可以在多个维度上有所不同，包括正确性、效率、可读性、可扩展性和优雅性。

OCaml事实上在编译器领域基本上占据了半壁江山，北美名校几乎一半的编译器课程都是用OCaml做教学语言。在符号计算和代码分析这一块，也大有可为，著名的静态分析软件 Infer就是OCaml写的。

OCaml官网：OCaml官网