型システム入門 −プログラミング言語と型の理論−無料オンラインブックpdf

型システム入門 −プログラミング言語と型の理論− (日本語) 単行本（ソフトカバー） – 2013/3/26

プログラミング, ソフトウェア開発・言語, 遠藤 侑介, 酒井 政裕, 今井 敬吾

---

型システム入門 −プログラミング言語と型の理論− (日本語) 単行本（ソフトカバー） – 2013/3/26 は 遠藤 侑介, 酒井 政裕, 今井 敬吾 によって作成されました . Le livre publié par manufacturer. Il contient 528ページ pages et classé dans le genre genre. Ce livre a une bonne réponse du lecteur, il a la cote 5つ星のうち3.8 des lecteurs 4個の評価. Inscrivez-vous maintenant pour accéder à des milliers de livres disponibles pour téléchargement gratuit. L'inscription était gratuite.

平均的な顧客フィードバック : 5つ星のうち3.8 5つ星のうち（4個の評価人の読者)
ファイルサイズ : 19.23 MB

型システム入門 −プログラミング言語と型の理論− (日本語) 単行本（ソフトカバー） – 2013/3/26 - 型システムを理解するうえでの定番書を翻訳! 型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書"Types And Programming Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

によって 遠藤 侑介, 酒井 政裕, 今井 敬吾

5つ星のうち (4個の評価 人の読者)

ファイル名 : 型システム入門-プログラミング言語と型の理論-日本語-単行本-ソフトカバー-2013-3-26.pdf