プログラマは必ずしも意識したり学習したりしているとは限らないからです。存在してこなかったからだと思います。この本の日本語の需要がそんなにあるとは思っていなかった。原著で読んでしまうだろうと思っていたから。この本を必要とする人が多いのではないかと思っています。無知から来るおおよそ不毛な型論争に巻き込まれることが多かったからだと思います。みんな英語が読めるようになりゃあいい。種類の日本人が少なからずいると言うことを知っています。際の動機でもあります。それ自体は興味深いですけど、なかなか根深い問題なのです。本書は、一般的な技術書よりも幾分高めの価格設定になっています。それは内容の充実度をご覧頂くと納得されるでしょう。プログラマならば、本書に値段以上の価値を見いだすことが出来ると思います。型理論は極めて応用範囲の広いものです。高いものだと思っております。型を勉強して良かった、と思う人はいるだろう。こんな感じになるでしょうか。翻訳についてですが、これも良い仕事がなされています。細心の注意が払われています。なれば、もうお買い得としか言いようがありませんね!どんな本なのか?前置きが長くなりましたが、この本はどんな本なのか。題名通り、プログラミング言語に対する型理論の教科書です。日本の多くの大学、研究室でも頻繁に輪講に用いられてきた本です。単純に、良く定義できるラムダ計算が登場します。型の教科書なのに、最初の7章までは型が出てきません。最初は型無しのラムダ計算からから始まります。それから、単純型付きラムダ計算の解説に入ります。(Kindなど)など、昨今のプログラミング言語で良く用いられる概念が展開されていきます。この中の幾つかは、聞いたことがある人も多いと思います。したらよく分からずに使っているという人もいるかもしれません。この本には、きちんとした定義が載っています。型の持つべき性質とは何か。ほげほげ型とはどういうものなのか。ほげほげ型システムは、どういう性質を満たしているのか。その証明(証明の部分は難しかったので、私は読み飛ばしてしまいましたが)まで。Java”などの実例も解説されています。目的にも最適だと思います。相互に依存性のない章も多いです。必要な章を読んでいくという読み方が、効率的でしょう。最初の方の章も飛ばせるので、かなり端折れるかと思います。前から順番に読んでも特に問題はありません。(当然ながら)きちんと理解できました。初学者にとってはかなりの勉強になります。本書の第1章だけでも読むことをお薦めしておきます。全てここに書いてあるようなことです。本書の魅力が伝われば幸いです。こんなに嬉しいことはありません。Bootswatch.。