こちらからは今現在でDRMなしのPDFも購入できます。電子版で読みたいという方は、こちらから購入されるのが良いかと思います。この記事は書評ではなく、宣伝です。はじめから意味がないと思っております。私見を交えて、なるべく上手く伝えたいと思います。発売されるのを楽しみにしておりました。この日が来たのですね。発売から一月以上経ってしまっているのですが。型に関する誤解が、この世の中には多く渦巻いています。非常に初歩的な誤解に基づくものが散見されますように思います。不可分な存在だからなのでしょう。すべてのプログラマは否応にも型と対峙することになるのです。そもそもプログラミングや計算機の登場以前から存在したものです。現代においてはおおよそ不可能です。あまりにも型とプログラミング言語との関わりが密接になってしまったからです。どこかにあったとします。それに関わり合いになるプログラマもいるでしょう。したら、解説記事や批判記事をしたためる人も出てくるかもしれません。多少はそれを勉強した人であるはずです。型については、型を勉強していない人もよく語りたがります。