型システム入門 : プログラミング言語と型の理論 电子书下载
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe
MIT Press発行の解説書“Types And Programming
Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《一本书备考中华传统文化(中考版)》中华书局编辑部最新版 电子书下载
- 《不哀之歌》曹利群文字版 电子书下载
- 《树上的男爵》伊塔洛·卡尔维诺全译文字版 电子书下载
- 《我的生活(套装上下册)》冯玉祥 电子书下载
- 《苹果酒屋的规则》约翰·欧文全译版 电子书下载
- 《野棠如炽》和歌文字版 电子书下载
- 《五眼联盟》安东尼·韦尔斯文字版 电子书下载
- 《做灵魂有香气的女人》戴尔·卡耐基 电子书下载
- 《哈佛家训》威廉·贝纳德黄金典藏版套装共4册父母将孩子培养成社会精英的制胜法宝文字版 电子书下载
- 《别输在不会拒绝上》作者李劲让你轻松学会高情商拒绝!文字版 电子书下载
- 《犹是深闺梦里人》井上三尺简体译文珍藏版 电子书下载
- 《图形思考与表达的20堂课》 [日] 久恒启一文字版 电子书下载