关于函数式描述方法 函数式语言的组成部分 程序结构 函数定义 目标表达式 类型及其操作 标准类型 集合类型 幂集类型 元组类型 联合类型 序列类型 函数类型 递归类型 抽象类型 2021/2/52021/2/5 15 关于函数式描述方法 ⚫ 函数式语言的组成部分 – 程序结构 ⚫ 函数定义 ⚫ 目标表达式 – 类型及其操作 – 标准类型 - 集合类型 – 幂集类型 - 元组类型 – 联合类型 - 序列类型 – 函数类型 - 递归类型 – 抽象类型