- 691 名前：デフォルトの名無しさん mailto:sage [2011/01/23(日) 15:46:41 ]
- >>690
ごめん、Haskell は普通に使ってる（また SICP も読んだ）
なんて言うのかな
入門書ではないし、かと言って RWH のような実用ネタの本でもなくて、
もっと学術的なネタが載ってる本が読みたい（役に立つかはどうでもいい）
たとえば、数学者などからみて関数型言語ってどうなの？
計算機科学者からみて関数型言語ってどうなの？ とか
証明器として使うには今の関数型で十分？ 何が足りない？ とか
