编程与类型系统/华章程序员书库

作者简介

内容简介

常见的Bug通常是数据类型不匹配的结果。通过准确地指定及控制在计算中允许使用哪些数据，强类型系统能够消除多种错误，并确保应用程序中的数据完整性。作为一名开发人员，在日常工作中巧妙地使用类型能够写出更好的代码，提高查找与数据相关的棘手错误的效率。 本书讲解基于类型的技术，可用来编写安全、正确和容易维护的软件。这本清晰易懂的教程主要面向有一定编程经验（如TypeScript、Java、JavaScript、C#或C++等主流编程语言使用经验）的开发人员，侧重于介绍类型系统为日常编程工作带来的实用好处。通过学习使用TypeScript编写的真实示例，你将全面了解类型系统在编程中的应用技巧。