函数语言程序设计.doc

函数语言程序设计 编号：251010003 英文名称：Functional Programming 修读类型：必修 学时/学分：36/2 授课对象：本科生 先修课程：无 简介： 最初的程序员的角色是构造函数以解决问题。本课程主要介绍了函数程序设计语言的基本概念，包括数据类型、递归和归纳, 通过构造函数和表达式让计算机计算和得到结果，以及计算效率等问题、。 目的： 通过本课程的学习，使学生掌握函数程序设计语言的基本思想和基本方法，并能用常见的数据类型和数据结构解决一些计算问题，为进一步的程序设计学习打好基础。 内容： 1. 基本概念 （4） 函数程序设计，表达式和值，类型，函数和定义，规范和实现。 2. 基本数据类型（5） 各种数据类型，类型同义，类型推论。 3. 列表（3） 列表的表示、操作和模式。 4. 常见例子（4） 5. 递归和归纳（4） 对自然数和列表的递归和归纳，对列表的操作，辅助和推广， 程序合成与组合函数。 6. 效率（4） 渐近行为，简化，分解和求解，搜索和枚举。 7. 无限列表（3） 迭代，作为界限的无限列表，关于无限链表的推理，循环结构，交互式程序。 8. 新的类型（4） 枚举类型，复合类型，递归类型，抽象类型。 9. 树（5） 二叉树，霍夫曼编码树，二叉搜索树，平衡树，数组，广义树，游戏树。 教材： Bird Richard, Wadler Philip. Introduction to Functional Programming. Prentice Hall, 1988. 参考资料： Morgan Carroll. 裘宗燕 译. 从规范出发的程序设计. 北京: 机械工业出版社, 2002. Gries David. The Science of Programming. New York: Springer-Verlag, 1981.