λ演算是什麼意思
λ演算（λ calculus）是數學邏輯中的一種形式系統，用於研究函式、遞歸和計算的抽象概念。它是由英國數學家阿隆佐·邱奇（Alonzo Church）在20世紀30年代提出的，作為對可計算性的研究的一部分。λ演算是一種函式式編程的基礎，它不使用變數或賦值，而是通過函式的組合和套用來定義計算。
在λ演算中，函式被表示為參數到結果的映射。一個函式被定義為一個λ表達式，它接受一個參數，並返回一個結果。例如，下面的λ表達式定義了一個加法函式：
λx. λy. x + y
這個函式接受兩個參數（在這裡表示為x和y），並返回它們的和。
λ演算有兩個基本的操作符：
- λ操作符（lambda abstraction），用於定義函式。
- 套用操作（application），用於調用函式。
λ演算中的表達式可以是變數、函式定義、函式套用，以及使用λ操作符定義的函式組合。通過這些基本的構建塊，λ演算可以表達各種複雜的計算。
λ演算在理論計算機科學中扮演著重要的角色，特別是在證明論、類型論和程式語言理論等領域。它也被用作函式式程式語言如Lisp、Haskell和ML的基礎。