形式语法 核心的λ演算没有类型,没有顺序控制等概念 程序和数据没有区分。语法极简单 λ-表达式〉:∴:=<变量> λ<变量>.〈λ-表达式> (<λ-表达式X-表达式>) (<λ-表达式>) 变量〉 <字母形式语法 核心的λ演算没有类型， 没有顺序控制等概念 ， 程序和数据没有区分。 语法极简单： <λ-表达式> :: = <变量> | λ<变量>.<λ-表达式> | (<λ-表达式><λ-表达式>) | (<λ-表达式>) <变量> :: =<字母>