11/01/23 15:46:41
>>690
ごめん、Haskell は普通に使ってる（また SICP も読んだ）
なんて言うのかな
入門書ではないし、かと言って RWH のような実用ネタの本でもなくて、
もっと学術的なネタが載ってる本が読みたい（役に立つかはどうでもいい）
たとえば、数学者などからみて関数型言語ってどうなの？
計算機科学者からみて関数型言語ってどうなの？ とか
証明器として使うには今の関数型で十分？ 何が足りない？ とか
11/01/23 15:46:41
>>690
ごめん、Haskell は普通に使ってる（また SICP も読んだ）
なんて言うのかな
入門書ではないし、かと言って RWH のような実用ネタの本でもなくて、
もっと学術的なネタが載ってる本が読みたい（役に立つかはどうでもいい）
たとえば、数学者などからみて関数型言語ってどうなの？
計算機科学者からみて関数型言語ってどうなの？ とか
証明器として使うには今の関数型で十分？ 何が足りない？ とか