Programming Language Paradigms

课程简介

本科目概要/建议大纲： 1. 编程语言范式：现有编程语言和编程范式的概述；编程语言的历史。（2学时） 2. 作用域与子例程：代码块的概念；环境；变量的作用域与可见性；静态与动态作用域；运行时堆栈；过程调用；参数传递语义；激活记录与递归。（4学时） 3. 并发与并行语言：多线程，消息传递，语言：Scala，Go，Erlang，Clojure。（6学时） 4. 函数式语言：数学函数，列表，函数组合，语言（例如，Lisp，ML，Haskell）。（6学时） 5. 逻辑语言：谓词演算，定理证明，逻辑编程，语言（例如，Prolog及其变体）。（6学时） 6. 编程语言中的内存管理：指针，悬空引用，垃圾回收，编程中的常见实践。（2学时） 总计：26学时。

学习目标

1. 为学生提供各种编程语言原则与范式的理解； 2. 培养学生描述、分析和使用编程语言特性的技能。

先修要求

先修课程：COMP2011数据结构或同等课程 并修/排除课程：无

教学模式

讲座为学生提供主题的基本概念，并附有相应的示例。 辅导和实验课使学生能够体验不同范式编程语言的特性。 作业帮助学生应用设计与分析技术；而项目则侧重于实施技能。