Lambda 演算/基本定義
第一個概念是抽象。它類似於定義函式。
- λx.M
這定義了一個函式，它接受一個引數 x 並返回一個項 M。Lambda 演算中的函式沒有名稱。
第二個概念是呼叫。它本質上是函式呼叫。
- M N
這將引數 N 繫結到項 M
- 項
- Lambda 演算中的項是定義的函式。項可能包含變數。
- 變數
- 變數可以代表任何項。項可能包含自由變數或繫結變數
- 繫結變數
- 繫結變數是將繫結到作為引數傳遞的某個項的變數。例如，在λx.xy中，x 是一個繫結變數。
- 自由變數
- 自由變數是項中任何未繫結到其他項的變數。例如，在λx.xy中，y 是一個自由變數。