kazu-yamamoto https://blog.hatena.ne.jp/kazu-yamamoto/ あどけない話 https://kazu-yamamoto.hatenablog.jp/ 端的に説明するなら「正しく型付けされた項はおかしくなることがない」ことを学ぶための壮大な本。型に関する圧倒的な知識を持ち、説明がうまく、根気づよい人にのみ記すことができた英語の良書が、型システムを愛する訳者と監訳者、および(書中に名前が出てくる方も含む)豪華なレビュアの情熱によって翻訳された記念すべき書籍。税抜きで6,800円と高いが、それ以上の価値がある本である。型システム入門 −プログラミング言語と型の理論−作者: Benjamin C. Pierce,住井英二郎,遠藤侑介,酒井政裕,今井敬吾,黒木裕介,今井宜洋,才川隆文,今井健男出版社/メーカー: オーム社発売日: 2013/03/26… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkazu-yamamoto.hatenablog.jp%2Fentry%2F20130404%2F1365059686" title="書評「型システム入門」 - あどけない話" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/41gusdgRAkL._SL160_.jpg Hatena Blog https://hatena.blog 2013-04-04 16:14:46 rich https://kazu-yamamoto.hatenablog.jp/entry/20130404/1365059686 1.0 100%