普林斯顿 COS326 函数式编程 ⭐️

课程名称： Functional Programming
课程官网地址：2022年秋
先修课程： COS226 算法和数据结构
重要程度： ※※※※※
课程评点： 本课程所使用的编程语言是OCaml，可以和哈佛CS51 计算中的抽象与设计一起学习。

课程说明

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

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

凭借其深厚的数学根源，OCaml编程语言与学术界有着紧密的联系，美国有多所名校采用OCaml作为函数式编程的教学语言，比如哈佛、普林斯顿、布朗大学、加州理工学院、哥伦比亚、康奈尔等等。

不过值得一提的是OCaml编程语言主要用于编译器、程序分析、二进制安全、验证工具等领域，但是国内从事这些偏底层领域和基础软件的企业非常少，更建议名校生、研究生来学习这些内容。