程序设计语言理论（张昱）
2020春 2018秋 2011秋 课程号：CS0511501
2020春 2018秋 2011秋 课程号：CS0511501
2020春 2018秋 2011秋 课程号：CS0511501
8.0(1人评价)
8.0(1人评价)
- 课程难度：困难
- 作业多少：中等
- 给分好坏：一般
- 收获大小：一般
| 选课类别：基础 | 教学类型：理论课 |
| 课程类别：研究生课程 | 开课单位：计算机科学与技术系 |
| 课程层次：硕士 | 学分：3.0 |
课程主页：暂无（如果你知道，劳烦告诉我们！）
点评
写点评
排序
学期
评分
评分
1条点评
- 课程难度：困难
- 作业多少：中等
- 给分好坏：一般
- 收获大小：一般
- 难度：困难
- 作业：中等
- 给分：一般
- 收获：一般
课程分两个部分
spa （static program analysis） 和
pfpl （Practical Foundations for Programming Languages）
前一本书比较容易懂，里面数学就是些格之类；
后一本书比较难看懂，里面有些数理逻辑之类；
上课不用classin而用zoom（因为只有8个人上课），老师本意是可以讨论，但由于课程本身比较艰深，讨论也就变成老师点名提问
编程作业是spa里的一个题，小组完成，我因为比较菜，而且年纪大了学新语言（scala）不容易，就啥也没做
我学的时候pfpl前面还勉强一知半解，到后面多态就完全不会了；
考试也是spa，pfpl各占半，基本和作业题差不多；或许是pfpl的多态太难了，天怒人怨，结果老师印卷子漏了最后一题。因而可以及格了。
