📚 基本信息
- 书名：编程与类型系统
- 作者：[美] 弗拉德·里斯库迪亚
- 出版社：机械工业出版社有限公司
- 出版时间：2021/1/1
- 字数：1130千字
💡 推荐语
微软资深工程师撰写，从实际应用角度，系统阐述如何使用类型系统编写更好、更安全的代码。
📖 内容简介
本书主要针对想要学习类型系统的工作原理以及使用类型系统来提高代码质量的程序员。读者应该具备一些使用面向对象编程语言（如Java、C#、C或JavaScript/TypeScript）的经验，还应该有一些软件设计经验。
虽然本书的代码示例是基于TypeScript的，但是大部分内容是普遍适用的。事实上，本书的代码示例并非总是使用TypeScript特有的功能。在编写代码示例时，作者会尽可能让熟悉其他编程语言的程序员也容易理解它们。
虽然本书会介绍各种技术来帮助读者编写健壮的、可组合的、封装程度更好的代码，但是也假定了读者知道为什么希望获得这些特性。此外，本书侧重类型系统的实际应用，因此涉及的数学理论较少，但是应该熟悉基本的代数概念，如函数和集合等。
🏢 出版社介绍
机械工业出版社是全国优秀出版社，自1952年成立以来，坚持为科技、为教育服务，以向行业、向学校提供优质、权威的精神产品为宗旨，以“服务社会和人民群众需求，传播社会主义先进文化”为己任，产业结构不断完善，已由传统的图书出版向着图书、期刊、电子出版物、音像制品、电子商务一体化延伸，现已发展为多领域、多学科的大型综合性出版社，涉及机械、电工电子、汽车、计算机、经济管理、建筑、ELT、科普以及教材、教辅等领域。
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
