Amazon.co.jp: 型システム入門 −プログラミング言語と型の理論−: Benjamin C. Pierce (著), 住井英二郎 (監訳), 遠藤侑介 (翻訳), 酒井政裕 (翻訳), 今井敬吾 (翻訳), 黒木裕介 (翻訳), 今井宜洋 (翻訳), 才川隆文 (翻訳), 今井健男 (翻訳): 本

[kasumani]

型システム入門 −プログラミング言語と型の理論− 内容紹介 型システムを理解するうえでの定番書を翻訳! 型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型シス

[aipacommander]

読みます

[nari_ex]

星1のレビュー追加されてた...

[natsutan]

レビューがポエミー

[riywo]

背伸びしてみたい気もするが難しすぎる。。。

[theatrical]

コレの原本と翻訳版どっち買うかで悩む。主に値段が理由。

[sirocco]

難しいそうで理解できる自信はまったくないのだけれども、発注しました。住井さんの話によると32章のうち全部読まなくても良いそうで、2章、3章、5章、8章、9章、11章、もっとはしょれば5章・9章・11章を押さえれば良い

[adachi_c]

奉行さんと読むことになった。

[shomah4a]

ふむー

[kiyo_hiko]

「26 人中、0人の方が、｢このレビューが参考になった｣と投票しています。」

[mukaken]

読みたい！

[wwolf]

高いｗ

[mainyaa]

買う