lamda運算學習筆記

lamda -> L函數 lamda演算至少從表面上看，有着這樣一種企圖： 將全部運算操做，以及天然數都抽象成「函數」（再一次見識到函數這個概念的偉大）。下面簡單的介紹下lamda演算 lamda演算的原始定義看起來比較無聊： (Lx. [fx]) a = fa 上式用熟悉的概念翻譯，就是自變量爲x的函數f(x)，代入x=a，得f(a) 可是這裏有一個擴展：不只f自己是函數，並且x和a也是函數！並

>>阅读原文<<