λの世界

λ計算ってなんなの？って気になってたんだけど、「計算とは何か」ってことを研究するための道具ってことなのかな？数学で扱う関数の要素を抽出して作られたものがλ計算だそうな。「計算とは何か」なんて考えたこともなかった…。
Yコンビネーターってなんなの？ってのは、λ計算で扱うλ式はたった3つの規則からなる定義なのに、Yコンビネーターを使えば再帰(つまりループ)ができちゃった、これですべての再帰的な関数が書けるようになったスゲー！ってこと。普通にループや再帰が書けるプログラムの世界では特に使う必要はないかと。