预订 The Little Typer
图书信息
书名：预订 The Little Typer作者：Daniel P Friedman & Da...
包装：Paperback
页数：424页
出版社：MIT Press
出版时间：2018-10-16
图书简介
在计算机编程中，确定程序行为的类型非常重要。本书主要介绍了一种依赖类型的概念，以及使用依赖类型进行编程的优势。
首先，作者详细介绍了类型论的基础知识，包括类型和项的定义，类型与项之间的关系，以及类型的分类和性质等。接着，作者介绍了依赖类型的概念，以及依赖类型如何在编程中应用。本书还介绍了一些与依赖类型相关的高级主题，如归纳类型、相等类型和定理证明等。
本书非常适合有一定编程基础的读者，尤其是对类型论和依赖类型感兴趣的读者。本书由浅入深地介绍了依赖类型的概念及其应用，在帮助读者理解相关概念的同时，还提供了大量示例和习题，帮助读者巩固所学内容，并能够更好地应用到实际项目中。
推荐理由
推荐理由：本书详细介绍了依赖类型的概念及其应用，是一本非常好的入门书籍。通过学习依赖类型，读者可以进一步提高编程的能力，写出更加高效、健壮的程序。本书的优点在于逐步展示依赖类型的最美妙之处，引导读者逐渐领悟依赖类型及其在编程中的应用，非常适合对类型论和依赖类型感兴趣的读者。