11/01/23 17:11:15
いやだから、ほしいのは Haskell 限定じゃないって
べつに限定でもいいけど、できればもっと広いものだから、ここで聞いた
関数型言語というプログラミング言語の考え方とか役割とか、
数学などの他分野との関わりとか、あと意味論とかの本でもいいけど
>>693
「Lambda-Calculus and Combinators an Introduction」
を読んで Lambda 計算本としてはとても分りやすくてためになったが、
関数型言語は Lambda 計算の考え方をどのように取り込んでるのか、
取り込む上で何が問題となったかなどの話は載ってなかった
>>696
それって、本を探してる人にたいして
Amazon のトップページの URL を紹介するのとほとんど変わらないよ
せめておすすめの論文を何か紹介してほしいんだけど