CMU 15-150 函数式编程原理 ⭐️

课程名称： Functional Programming
课程官网地址：CMU 15-150课程官网
先修课程： 15-121 数据结构简介、15-151 计算机科学的数学基础
重要程度： ※※※※※
课程评点： 本课没有开放的视频，使用的是SML编程语言，由于并行和分布式的重要性，美国的名校都非常重视函数式编程。

课程说明

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

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

本课程的目的是介绍函数式编程 (FP)的理论和实践。FP的特点是强调计算作为评价。命令式编程 (IP)的程序和数据特征之间的传统区别 被强调按类型对表达式进行分类所取代指定它们的应用行为。类型包括熟悉的（固定和任意精度）数字类型、元组和记录（结构）、分类值（对象）、归纳类型（如树）、具有指定输入和输出的函数以及输入和输出等命令。以保证类型安全的方式评估类型良好的表达式以生成值。因为函数式程序不会引起副作用，所以我们可以利用简单的数学原理来推理应用程序行为和分析程序的运行时属性。

配套文档

本课没有指定的参考教材，有一个配套的关于SML的网站以及一份标准ML编程 (PSML)的电子书：

SML官网：SML技术文档

🌽 Programming In Standard ML

电子书：Programming In Standard ML 提取码: rs5f