斯坦福 CS43 函数式编程 ⭐️

课程名称： Functional Programming Abstractions
课程官网地址：斯坦福CS43课程官网
先修课程： CS 103 计算的数学基础、CS 107 计算机组成与系统
重要程度： ※※※※※
课程评点： 本课学习的编程语言是Haskell。

课程说明

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

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

本课程涵盖函数式编程和代数类型系统的基础知识，并探索现代编程范例的选择和这些领域的当前研究。尽管大部分材料也适用于其他语言，但整个课程都会教授和使用 Haskell。主题将从理论和实践的角度进行讨论，包括高阶函数、不可变数据结构、代数数据类型、类型推断、透镜和光学、效果系统、并发和并行性以及依赖类型。