关于函数式描述方法 函数式语言的组成部分 表达式 非|et表达式(常量,变量,λ表达式,条件表达 式,以及各种操作) let表达式 /etx=E’inE letrec表达式 letrec x=E in E 在表达式中增加类型说明 2021/2/52021/2/5 16 关于函数式描述方法 ⚫ 函数式语言的组成部分 – 表达式 ⚫ 非let表达式（常量，变量，表达式，条件表达 式，以及各种操作） ⚫ let表达式 let x = E’ in E ⚫ letrec表达式 letrec x = E1 in E ⚫ 在表达式中增加类型说明