2006-01-13 Monad やっとMonadが何かを自分なりに理解することが出来た。要するにこれって束縛の集まりなのね。稲妻みたいに頭の中がつながった。どうやら昨日Yコンビネータを頑張ったのは無駄じゃなかったみたい。勉強会行きそびれたけど。 Aardvark'd → Paul Graham → Y Combinator → Yコンビネータ → 束縛 → Monad