Home > 一般 > 単純型付きラムダにリファレンス入れると型がつくのに再帰関数（っぽい）のができるのか

単純型付きラムダにリファレンス入れると型がつくのに再帰関数（っぽい）のができるのか

  • 2010-06-30 (Wed) 16:30
  • 一般

とか，オレンジ本（Pierce の Types and Programming Languages）を読み直して演習問題解いてて感動した（ex. 13.5.8）．だがしかし，学生らにはその辺の作者の意図を読み解くのは無理だったらしい．教科書読むってのも大変だよねぇ．

★下記に2つの英単語をスペースで区切って入力してください

Home > 一般 > 単純型付きラムダにリファレンス入れると型がつくのに再帰関数（っぽい）のができるのか

Calendar
<   2024-11   >
日月火水木金土
     12
3456789
10111213141516
17181920212223
24252627282930
Categories
Archives
Search
Feeds

Page Top