文件名称：Learn-Type-Driven-Development:学习型驱动开发，由Packt出版
文件大小：60KB
文件格式：ZIP
更新时间：2024-06-16 06:10:46
Reason
学习类型驱动开发 这是Packt发布的“ 的代码存储库。 受益于类型系统，使用ReasonML 3构建可靠，安全的应用程序 这本书是关于什么的？ 类型驱动开发是一种以类型为代码基础的编程方法。 依赖类型用于直接在代码中表达关系和其他假设，并且这些假设由编译器检查。 本书将介绍类型驱动开发以及如何利用类型系统的功能来编写与您过去的设计决策一致的未来代码。 本书涵盖以下激动人心的功能： 通过简单而引人注目的示例探索类型驱动的概念。 通过开始使用基本类型来了解如何快速赢得安全 创建模块和模块类型，将模块类型（签名）应用于模块 使用乘积和求和类型作为构建块来执行复杂的逻辑。 使用静态类型捕获有趣和有用的信息，以使程序更安全，更快速。 通过使用静态类型探索设计空间，以最佳的方式表达有关系统的规则。 协调使用静态类型和动态运行时，可以编写甚至更安全，更快的代码。 如果您觉得这本书适