λ計算ってなんなの？って気になってたんだけど、「計算とは何か」ってことを研究するための道具ってことなのかな？数学で扱う関数の要素を抽出して作られたものがλ計算だそうな。「計算とは何か」なんて考えたこともなかった…。 Yコンビネーターってなんなの…

Y の a については正確な理解はひとまずあきらめました(+_+) 頭から煙が出そうになるｗ 高階関数 + 再帰で、しかも複雑な式がどう展開されてるか追いかけるのは困難…。Haskell みたいな必要なところを必要なだけって評価のほうが脳に優しいのかも、とかはじ…