申論題

 

解釋: lambda calculus 是一種數學模型，用於描述函數的運算和轉換，被視為現代計算機科學中函數式編程（Functional Programming）的理論基礎之一。函數式語言通常都是基於 lambda calculus 設計的，例如 Lisp, Scheme, Haskell 等。這些語言的主要特點是函數是第一級對象，並且可以被當作參數、返回值、變量等使用，具有高度的可重用性和表達力。因此，函數式語言的設計和實現都受到 lambda calculus 的影響。