型システム入門 : プログラミング言語と型の理論 电子书下载
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe
MIT Press発行の解説書“Types And Programming
Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- 《文案三章:图书编辑业务手册 1原则 2讨论 3体验》黄集伟经典版 电子书下载
- 《一辈子有多少来不及-读者•乡土人文版》文字版 电子书下载
- 《穆天子传》校注:高永旺中华经典名著文字版 电子书下载
- 《圣彼得堡 : 三百年的致命欲望》乔纳森•迈尔斯文字版 电子书下载
- 《1368个单词就够了》王乐平文字版 电子书下载
- 《失序时代:全球旧秩序的崩溃与新秩序的重塑》理查德•哈斯文字版 电子书下载
- Functional Thinking - Neal Ford 电子书下载
- Java to Kotlin - Duncan McGregor and Nat Pryce 电子书下载
- 《特工心理学》金圣荣纪念版 电子书下载
- iOS 10 Programming for Beginners - Craig Clayton 电子书下载
- 《亚瑟与乔治》朱利安·巴恩斯 电子书下载
- 《家庭中的正面管教》日常教养难题的SFBT训练法陈意文文字版 电子书下载