函数程序设计Functional Programminghttpsistsysueducn~qiaohy.ppt

函数程序设计Functional Programming/~qiaohy/FP2012/ 乔 海燕 qiaohy@ 020Important links All about the course: /~qiaohy/FP2012 All about Haskell: 课程安排与要求 每周四13～15节，2~13周； 地点：实验室B403 讲义：Haskell函数程序设计； 成绩评定：平时成绩50% + 期末成绩50%，平时成绩包括 课堂参与； 课堂、课下作业； 函数程序设计简介 函数程序设计语言的历史背景 什么是函数程序设计 函数程序设计的特点 函数与类型 Hugs – 一个Haskell 解释器 简介 历史背景 什么是函数程序设计 函数程序设计的特色 函数与类型 Hugs – 一个Haskell 解释器 软件危机 程序设计语言 历史背景 历史背景 历史背景 历史背景 Introduction 历史背景 什么是函数程序设计 函数程序设计的特点 函数与类型 Hugs – 一个Haskell 解释器 什么是函数程序设计? 什么是函数程序设计 (2) 简介 背景 什么是函数程序设计 函数程序的特点 函数与类型 Hugs – 一个Haskell 解释器 函数程序设计的特点 函数程序设计的特点(2) Features of functional programming(3) Features of functional programming(4) 简介 背景 什么是函数程序设计 函数程序设计的特点 函数和类型 Hugs – 一个Haskell 解释器 值与表达式 定义和类型 函数与类型 函数定义 函数应用 函数程序 Your first Haskell program 注释 脚本格式Layout Layout rule Haskell中的命名 简介 背景 什么是函数程序设计 函数程序设计的特点 函数与类型 Hugs – Haskell 解释器 运行 Hugs Hugs 命令 错误信息（Error messages） 类型错误Type Error 标准引导库 模块（Modules） 模块 (2) 作业: 下载安装hugs 编辑FirstScript.hs, 并调入hugs运行 找到Prelude.hs, 试着运行一些函数 在FirstScript.hs中加入更多的函数 Hugs 是 Haskell 的一个实现，它的 PC版本 和 Unix 版本均可在下列网站免费下载安装 /hugs/ 开始运行Hugs, 执行hugs FirstScript.hs Main (在这里你可以运行你的程序) 例如, Main double 23 – square (double 4) - 18 :load first.hs 载入 Haskell 脚本 first.hs :reload 重新载入最近载入的文件 :type e 显示 e的类型 :edit first.hs 编辑文件 first.hs :? 列出 Hugs 命令 :quit 退出系统 Hugs 命令还可以缩写为命令的第一个字母,如 :l 等价于 :load. 语法错误（Syntax error）: Prelude 2-(3-4)) ERROR: Syntax error in expression 程序错误（Porgram errors）: Prelude 4 `div` (double 2 – 4) Program error: [primDiviInt 4 0] Type error: main double square ERROR: Type error in application *** expression : double square *** term : square *** type : Int - Int *** does not match : Int 运行hugs时，我们会看到 Reading file: “C::\HUGS\lib\Prelude.hs” 标准引导库 Prelude.hs 包含一些常用的算术函数和列表函数。 Haskell还提供一些其他标准函数库。 一个计算机软件由成千上万行定义（说明，命令，语句）构成。为了开发和维护大规模的软件，我们必须将一个软件系统分解成为相对独立的、较小的程序，称之为模块。 一个模块可以调用