CS43:斯坦福大学CS43:函数式编程范例的课程材料 源码

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