函数式程序设计及其应用教学大纲.pdfVIP

课程名称： 函数程序设计及其应用 授课对象: 无限制 学时： 3 学时/周 任课教师 ：乔海燕 联系电话 Email: qiaohy@ 《函数程序设计及其应用》 简介 C/C++， Java, Pascal 和 Ada 等称为命令式语言， 即一个程序是一个顺序执行 的指令序列。一个命令式程序说明的重点是如何做计 。一个函数程序是一个从输入 集到输出集的数学函数 ：对于给定的输入，它的输出是什么。一个函数程序的执行是 通过给函数以输入，并计 将函数应用输入的表达式的值 （即输出）来完成的。 一个 函数程序说明 的重点是应该计算什么，而不是如何计 。函数程序没有副作用，因此 函数程序的测试与推理较命令式程序容易的多。例如，QuickCheck 是一个非常简单的 随机测试工具，Agda/Alfa 是基于类型论的程序辅助证明工具。Haskell 的另一特点是 适用于作 host 语言，即将其他语言嵌入到 Haskell 中，以增加系统的可读性，易维护 性和生产效率 。 函数程序设计的计算模型非常简单。因此，函数程序语言以其清晰、简洁、易读， 因而更易维护而受到学术界的青睐和工业界的欢迎。比如，学术界的大量实验系统采 用函数程序设计语言开发 。通讯业巨人爱立信用本公司设计的函数程序设计语言 Erlang 开发交换机系统，获得巨大成功。Intel 使用函数程序语言开发硬件验证系统， 搜索引擎大亨 Google 也使用函数程序设计技术，提高了系统的可靠性与易维护性。 函数程序设计语言因其简单的基本理论，现代程序设计的基本思想，如抽象、数 据抽象、多态和重载等都得到了最清楚的体现。因此，函数程序设计不仅是学习现代 程序设计思想的理想语言(西方许多高校将其作为第一门程序设计语言介绍给学生) ，而 且为传统的命令式和面向对象的程序设计语言提供了很有意义的视角 。 本课程将使用 Haskell 作为教学语言 ，并通过一些实例，如交互式计算器、 Huffman 编码，语法分析器，图形与音乐的嵌入等，介绍函数程序设计的基本概念和 方法 。Haskell 是一种实用程序设计语言，详见 。关于 Haskell 的教学， 参见 /haskellwiki/Haskell_in_education 。关于 Haskell 的应用，参见 /haskellwiki/Haskell_in_practice 。有关每年举办一次的国际程序设计竞 赛，参见 / 。 本课程设计为 3 学分，每周 3 学时，并将尝试所有教学活动在实验室进行 。 学分数 3 周学时数 3 预修课程：无特殊要求 教学目的：通过本课程的教学， 学生掌握函数程序设计思想和方法，并且更深入理解 现代程序设计思想和方法 。课程学习结束后，学生能够熟练使用 Haskell 进行高效、高 质量软件代码设计，解决实际 问题。 基本要求：按大纲具体要求，掌握函数程序设计的基本概念、原理和方法；熟练掌握 常用函数的应用；掌握函数程序的测试方法；能够运用 Haskell 解决实际 问题。 教学用书 ：Simon Thompson: The Craft of Functional Programming. Second Edition, Addison-Wesley, 1999.及其中译本 电子版。 nd 参考用书：1. Richard Bird: Introduction to Functional Programming using Haskell. 2 edition. Addison-Wesley, 1999. 2. Fethi Davie and Guy Lapalme: algorithms: A functional programming approach. Addison-Wesley, 1999. 3. Paul Hudak: The Haskell School of Exp