2010年06月30日
単純型付きラムダにリファレンス入れると型がつくのに再帰関数（っぽい）のができるのか
- 2010-06-30 (Wed)
- 一般
とか，オレンジ本（Pierce の Types and Programming Languages）を読み直して演習問題解いてて感動した（ex. 13.5.8）．だがしかし，学生らにはその辺の作者の意図を読み解くのは無理だったらしい．教科書読むってのも大変だよねぇ．
- Comments: 0
- TrackBack (Close): -
とか，オレンジ本（Pierce の Types and Programming Languages）を読み直して演習問題解いてて感動した（ex. 13.5.8）．だがしかし，学生らにはその辺の作者の意図を読み解くのは無理だったらしい．教科書読むってのも大変だよねぇ．