程序设计语言基础（冯新宇, 张昱）
2013春 课程号：01116701
2013春 课程号：01116701
2013春 课程号：01116701
10.0(1人评价)
10.0(1人评价)
- 课程难度：困难
- 作业多少：中等
- 给分好坏：一般
- 收获大小：很多
| 选课类别：计划 | 教学类型：理论实验课 |
| 课程类别：本科计划内课程 | 开课单位：计算机科学与技术系 |
| 课程层次：专业选修 | 学分：3.5 |
课程主页：暂无（如果你知道，劳烦告诉我们！）
点评
写点评
排序
学期
评分
评分
1条点评
- 课程难度：困难
- 作业多少：中等
- 给分好坏：一般
- 收获大小：很多
- 难度：困难
- 作业：中等
- 给分：一般
- 收获：很多
这门课挺困难的，不过会讲程序语言的设计原理和函数式编程，能学到不少东西。我印象里至少讲了这些东西：
- 过程式编程语言的基本概念（类型系统、变量作用域、生存期等）及比较（C、Java）
- 面向对象编程语言的基本概念（继承、多态）及比较（C++、Java、JavaScript）
- 并发程序的内存模型
- 程序语言语义的形式化表达（Hoare 逻辑）
- 函数式编程（JavaScript、Haskell）
教材是两位老师的著作《程序设计语言理论》第二版，陈意云、张昱，高等教育出版社。
按照张昱老师的话说，学完这门课之后，学一门编程语言就不要看 tutorial 了，直接看 specification。（比如课程教 JavaScript 的时候就让我们看 ECMA-262 标准 Ecma-262.pdf）
期末要提交两个报告（主题与程序语言设计原理相关即可），附上我的报告供参考：
印象里是没有期末考试的。
