型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)

型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

[hagino_3000]

goに着手する前に消化したい

[nminoru]

PDF版を買った。しばらく読むのは無理だが。

[ikosin]

原著$80だし買いだと思う。

[grapswiz]

PDF!PDF!

[Untouchable]

MinCamlの作者(住井氏)が訳に参加されてるのか(2013-12-12)

[atty]

高いな……

[ntaoo]

これは読みたい

[chezou]

[

[momontyo]

Oh...欲しいけど結構高いな。

[kimutansk]

さっそく来ましたか。TAPLの電子版。読んではみたいですが・・・ちと、今は他の方が優先ですかね。残念ですが。

[gamaguchi]

型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)

[gin0606]

読んでみたいけどおたかい

[shuitic]

高けぇ。

[yasuyk]

ebook きた！

[ringtaro]

もうキタ！オーム社GJ!

[array08_12]

いつか買う

[t-wada]

TAPL の PDF 版発売キターーー!!

[kaipu1224]

高い！って思ったけど528頁か・・・

[mukaken]

私は紙の本を購入しましたが重すぎるのでPDFの方がいいかも。

[rokujyouhitoma]

ちょうど昨日amazonで買って、キャンセルが効かなかった。涙目。電子書籍版もかいます...。

[t_ita]

PDF版キタ！

[kazuph1986]

高い！って思ったのは現物のページ数とかイメージできてないせい？

[ukstudio]

仕事はやい

[t_trad]

電子版はどうせ1ヶ月くらい遅れるだろうと思って紙版買って涙目

[TokyoIncidents]

おっと電子版出たのね

[daimatz]

PDF版キテルー！

[kyon_mm]

電子版きたー！