斯坦福CS43：课程资料 本课程涵盖功能编程和代数类型系统的基础知识，并探讨相关编程范例的选择和当前的研究。 尽管大部分材料都适用于其他语言，但在整个课程中都对Haskell进行了教学和使用。 将从理论和实践的角度介绍材料，并且主题将包括高阶函数，不变数据结构，代数数据类型，类型推断，镜头和光学，效果系统，并发性和并行性以及从属类型。