The Little Typer 豆 9.3分

资源最后更新于 2020-08-23 08:21:39

作者：Daniel P. Friedman

出版社：MIT Press

出版日期：2018-01

ISBN：9780262536431

文件格式： pdf

标签： 类型系统 计算机科学 计算机 Programming 编程 Types CS programming

简介· · · · · ·

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. The Littl...