2005-11-02 覚えること program program-other やねさんのページにて。 template incremental GC 無名関数 型推論 パターンマッチング 無限リスト 関数合成(curry化/uncurry化etc..) 帰納論理プログラミング DI×AOP 構文拡張(EPP等) ……全然わからん(;´Д`) ということで未来に備えて..._〆(゜▽゜*)メモメモ 時間があるときに勉強してみよっと。 ……でもきっとこれを理解するまでに、また新しい理論が出来たりするんだろうなぁ……。