型システム入門 : プログラミング言語と型の理論 电子书下载
型システムを理解するうえでの定番書を翻訳!
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe
MIT Press発行の解説書“Types And Programming
Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!
猜你喜欢
- Getting Started with Meteor.js JavaScript Framework - Isaac Strack 电子书下载
- 《好好说话 : 学诚法师与您分享佛陀的说话之道》学诚法师全新版 电子书下载
- Kindle Fire The Missing Manual - Peter Meyers 电子书下载
- 《群山回唱》 电子书下载
- 《水妖》富凯 电子书下载
- 《从俾斯麦到希特勒》 [德] 塞巴斯提安·哈夫纳文字版 电子书下载
- 《魔鬼约会学》阮琦最新版 电子书下载
- 《自然界的印象》儒勒·列那尔全新修订版 电子书下载
- 《玩家1号》[美]恩斯特·克莱恩 简体译文珍藏版 电子书下载
- Programming the Semantic Web - Toby Segaran, Colin Evans, and Jamie Taylor 电子书下载
- 《股指期货投资入门》张容城全彩图解版 电子书下载
- 《焦虑星球笔记》[英]马特・海格文字版 电子书下载