(3)A表达式 形如λy.F为λ函数表达式,以关键字 λ开始,变量y为参数 形如(FG)为λ应用表达式 为了清晰,λ表达式可以任加成对括号。（3）λ表达式 • 形如λy.F为λ函数表达式， 以关键字 λ开始， 变量y为参数。 • 形如(FG)为λ应用表达式 • 为了清晰，λ表达式可以任加成对括号