SとKでI

週末行われたKANASAN.jsのレポートを読んでいると、Kコンビネーターやら、Sコンビネーターというキーワードが乱舞していたので、SKK = Iや翻訳:コンビネータ論理チュートリアル、Unlambdaを読んでました

なんとなく理解はしたんだけど、実装して試してみようと思ったのに、Leopardにアップデートしてから、portsをインストールし直していないので、こういうのを実装しやすい環境がないことにきづいた。

個人的に、コンビネーター系は、大好きなHaskellよりも、苦手だがlisp系でやるのが簡単。まぁ、λ計算の型あり、型無しというのが大きいんだども。でも、なんかまじめに関数型に入門したのがHaskellなもんで、計算が遅延しない、カリー化するのに手間かかるというのは、なんか違和感。