型システム入門 : プログラミング言語と型の理論 电子书下载
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe
MIT Press発行の解説書“Types And Programming
Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《1491年:前哥伦布时代美洲启示录》 [美] 查尔斯·曼恩文字版 电子书下载
- 《猎人》双雪涛 电子书下载
- 《女神的语言:西方文明早期象征符号解读》马丽加·金芭塔丝 电子书下载
- 《大学与大师:清华校长梅贻琦传》岳南经典版 电子书下载
- 《查理·芒格的智慧:投资的格栅理论(原书第2版)》哈格斯特朗珍藏版 电子书下载
- 《世间一切皆是遇见》国馆 电子书下载
- 《诗经》王秀梅收藏版 电子书下载
- 《剑桥美国史》[英] 苏珊-玛丽·格兰特 权威美国历史读物 电子书下载
- 《五号屠场》[美] 库尔特·冯内古特 电子书下载
- 《画家的一天》段张取艺修订版 电子书下载
- 《如何开赚钱公司:基础篇+理论篇+实战篇》凌洛妍珍藏版 电子书下载
- 《救命饮食Ⅱ : 反思营养学》T·柯林·坎贝尔 电子书下载