学习成果

为各种应用程序编写中小型功能程序。
利用函数中典型的各种编程技术编程，例如：
- 递归的使用，
- 使用递归数据类型建模，
- 借助高阶函数和单子函数进行抽象和重用。
了解函数编程范式。

用作第一类值

这是函数编程的一个关键方面。
高阶函数
- 构建模块化和可重用代码的强大方法。
  - 特别是与多态性结合时。
使用函数表示数据

示例：集合的抽象数据类型

数据 设置 一

空的        :: 设置 一
单子    :: 一 -> 设置 一
插入       :: 一 -> 设置 一 -> 设置 一

联盟,交叉,差异
             :: 设置 一 -> 设置 一 -> 设置 一

补充   :: 设置 一 -> 设置 一

成员       :: 一 -> 设置 一 -> 布尔

到列表       :: 设置 一 ->[一]

可能需要一些约束，
```
等式 一
```
或
```
订单 一
```
，取决于实施。

如何表示集合

三种可能的表示

列表
- ```
数据 设置 一 = 设置[一]
```

二进制搜索树

数据 设置 一 = 清空 | 节点 一(设置 一) (设置 一)

功能
- ```
数据 设置 一 = 设置(一->布尔)
```
哪个更容易？

将集合表示为列表

数据 设置 一 = 设置[一]--不变量：无重复
空的 = 设置[]单子 x个 = 设置[x个]插入 x个(设置 X轴)| x个`元素`X轴 = 设置 X轴
                  | 否则   = 设置(x个:X轴)成员 x个(设置 X轴)= x个`元素`X轴

相当容易。
变体：保持列表有序以提高效率。

将集合表示为二进制搜索树

数据 设置 一 = 清空 | 节点 一(设置 一) (设置 一)--不变量：左侧较小的元素，--向右偏大空的 = 清空
单子 x个 = 节点 x个 清空 清空

插入 x个 清空 = 单子 x个
插入 x个(节点 年 我 第页)| x个==年 = 节点 年 我 第页
                      | x个<年  = 节点 年(插入 x个 我)第页
                      | x个>年  = 节点 年 我(插入 x个 年)成员 x个 清空        = False（错误）
成员 x个(节点 年 我 第页)= x个==年 ||
                        成员 x个(如果 x个<年 然后 我 其他的 第页)

更复杂。
如果我们想保留树木，那就更复杂了平衡的。(数据。设置)

将集合表示为函数

数据 设置 一 = 设置(一->布尔)空的 = 设置(常数 False（错误）)单子 x个 = 设置(==x个)插入 x个 秒 = 联盟(单子 x个)秒

成员 x个(设置 （f）)= （f） x个

联盟(设置 （f）) (设置 克)= 设置(\x个->（f） x个 || 克 x个)交叉(设置 （f）) (设置 克)= 设置(\x个->（f） x个 && 克 x个)补充(设置 （f）)= 设置(不 . （f）)差异 第1页 s2秒 = 交叉 第1页(补充 s2秒)

这是这棵树中最容易的！所有操作都是一行程序！
可以实施
```
补充
```
，但不是
```
到列表
```
不同于其他人。

软件原型实验（1）

软件原型实验（2）

软件原型实验（3）

软件原型实验（4）

关键设计选择

类型 地区 = 点 -> 布尔

类型 点 =(双精度,双精度)

这使得区域上的所有操作都易于定义
- 基本形状：圆形、矩形等
- 几何变换，例如移动、缩放和旋转区域
- 联合、交叉、补充
- 成员资格测试

松散端部

快速检查
- 使用
```
收集
```
  检查测试数据分布。
- 使用先决条件测试功能（例如。
```
插入
```
  ).
莫纳兹
- 一元计算器发出的信息性错误消息
懒惰
- 边缘平等的例子。
- 懒惰的IO。

Haskell可以用于什么？

示例

GHC在Haskell中实施。
黑客攻击:许多免费的Haskell库和应用程序。
投资银行：金融建模、定量分析。
脸谱网：HaXL公司，垃圾邮件过滤。
基拉工作室：游戏开发，Android。
更多信息：哈斯克尔工业

我开发过一些Haskell软件

这些幻灯片：格式和语法高亮显示。
Web控件：奥赛罗.
程序设计学：Haskell编译器前端（2001-2006）
房屋:Haskell中的原型操作系统（2004-2006）
硬件仿真（6502 8位处理器，用于C-64）
Haskell的电子商务系统（2006-2009）
Haskell中的web浏览器（20世纪90年代中期）
阿尔法：检验助手Agda的GUI（20世纪90年代中期）
软糖：Haskell中的GUI库（20世纪90年代初）

函数式编程

反思

键入松散端

问题和答案

课程内容

学习成果

用作第一类值

示例：集合的抽象数据类型

如何表示集合

三种可能的表示

将集合表示为列表

将集合表示为二进制搜索树

将集合表示为函数

软件原型实验（1）

软件原型实验（2）

软件原型实验（3）

软件原型实验（4）

关键设计选择

松散端部

Haskell可以用于什么？

示例

我开发过一些Haskell软件

问题和答案

结束