武市　正人：プログラミング言語

概要

著者のまえがきより引用する。

ソフトウェア科学を学び，研究する者にとって，「プログラミング言語」を理解することは， 特定の言語を駆使してプログラムを書くこととは別のことである．（中略）本書の特徴のひとつに， プログラミング言語の抽象的な概念をプログラムによって表現していることがある．（中略）プログラミング言語の記述に知するこの試みが成功したかどうか， 読者のかたがたの判断をあおぎたい．

感想

著者は参考文献で、Bird と Wadler の「関数プログラミング」を挙げている． この本の考えを引き継いで書かれていると評者は理解している。

ちなみに、まえがきで挙げているプログラムは仮想言語ではなく処理可能な言語である。 これは関数型言語の一つである Gofer で記述されている。 Gofer は Haskell の下位セットであるから、この本の内容は Haskell で勉強できる。 (2008-04-20)。

書誌情報

まりんきょ学問所 ＞ コンピュータの本 ＞ LISP, Prolog ＞ 武市　正人：プログラミング言語