程序设计语言基础(冯新宇, 张昱) 2013春  课程号:011167
2013春  课程号:011167
10.0(1人评价)
  • 课程难度:困难
  • 作业多少:中等
  • 给分好坏:一般
  • 收获大小:很多
选课类别:未知 教学类型:未知
课程类别:本科计划内课程 开课单位:计算机科学与技术系
课程层次:专业硕士课 学分:4
课程主页:暂无(如果你知道,劳烦告诉我们!)
点评 写点评
boj 2013春

这门课挺困难的,不过会讲程序语言的设计原理和函数式编程,能学到不少东西。我印象里至少讲了这些东西:

  • 过程式编程语言的基本概念(类型系统、变量作用域、生存期等)及比较(C、Java)
  • 面向对象编程语言的基本概念(继承、多态)及比较(C++、Java、JavaScript)
  • 并发程序的内存模型
  • 程序语言语义的形式化表达(Hoare 逻辑)
  • 函数式编程(JavaScript、Haskell)

教材是两位老师的著作《程序设计语言理论》第二版,陈意云、张昱,高等教育出版社。

按照张昱老师的话说,学完这门课之后,学一门编程语言就不要看 tutorial 了,直接看 specification。(比如课程教 JavaScript 的时候就让我们看 ECMA-262 标准 Ecma-262.pdf

期末要提交两个报告(主题与程序语言设计原理相关即可),附上我的报告供参考:

印象里是没有期末考试的。

1 0

冯新宇

教师主页: 戳这里

张昱

教师主页: 戳这里

其他老师的「程序设计语言基础」课

冯新宇, 梁红瑾 10.0 (1) 2016春
冯新宇 8.0 (1) 2015春 2014春
张昱 7.0 (2) 2019春 2018春

冯新宇老师的其他课

程序设计语言理论 10.0 (1) 2017春 2015春
程序设计语言基础 10.0 (1) 2016春
程序设计语言基础 8.0 (1) 2015春 2014春

张昱老师的其他课

编译原理和技术(H) 8.4 (18) 2021秋 2020秋...
量子软件前沿 9.0 (1) 2019秋
程序设计语言理论 8.0 (1) 2020春 2018秋...
程序设计语言基础 7.0 (2) 2019春 2018春
编译原理和技术 1.0 (1) 2021秋 2012春
量子软件前沿 2020秋 2019秋
编译原理和技术 2010春 2009春...
数据结构 2009秋 2008秋...
数据结构与数据库 2007春 2005春...
编译原理 2017秋 2016秋...
“科学与社会”研讨课 2021秋 2021春...