型システム入門 −プログラミング言語と型の理論−读书介绍

类别	页数	译者	网友评分	年代	出版社
书籍	528页			2020	オーム社

定价	出版日期	最近访问	访问指数
JPY 7344	2020-02-20 …	2020-03-14 …	93

主题/类型/题材/标签

作者

Benjamin C. Pierce ISBN:9784274069116 原作名/别名:《Types and Programming Languages》

内容和作者简介

型システム入門 −プログラミング言語と型の理論−摘要

型システムを理解するうえでの定番書を翻訳!

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

作者简介

Pierce,Benjamin C.

Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある。

本书后续版本

未发行或暂未收录

喜欢读〖型システム入門 −プログラミング言語と型の理論−〗的人也喜欢：

スリーピング・バグ京山あつき,BLコミック,漫画,職場,耽美,日本,耽美漫画,漫畫,　2020-02-20 …

グラフィックスのためのRプログラミング　2020-02-20 …

Real World Haskell―実戦で学ぶ関数型言語プログラミング计算机科学,Haskell,程序设计,日文版,World,Real,Programming,　2020-02-20 …

型システム入門 −プログラミング言語と型の理論− 　2020-02-20 …

キリング・ストーキング耽美,漫画,BLコミック,韩国,BL,漫畫,韩漫,koogi,　2019-09-20 …

セクシャルダイナマイトヒロインアマゾニアンプリンセスグラマラスレディ() 动作科幻　2020-02-20 …

新垣里沙モーニング娘。ラスト写真集『 ASCENSION 』 [大型本] 写真,日本,写真集,摄影写真,——摄影&写真——,日系寫真,PHOTOBOOK,PDF,　2020-02-20 …

プログラミングコンテストチャレンジブック～問題解決のアルゴリズム活用力とコーディングテクニックを算法,计算机,日本,　2020-02-20 …

プログラミング言語Cアンサー・ブック　2020-02-20 …

日本語文型辞典英語版　2020-02-20 …