The Little Typer

The Little Typer


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 Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisp-like programming language, as presented in the first four chapters of The Little Schemer.

The first five chapters of The Little Typer provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programming-pairs, lists, functions, and recursion-can also capture patterns of reasoning. The Little Typer does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time.

Similar Books

ISBN 10: 0262527952
ISBN 13: 9780262527958

08 Sep 2015
Daniel P. Friedman

ISBN 10: 026256100X
ISBN 13: 9780262561006

01 Feb 1996
Daniel P. Friedman

ISBN 10: 0262560992
ISBN 13: 9780262560993

21 Dec 1995
Daniel P. Friedman

ISBN 10: 0262562146
ISBN 13: 9780262562140

14 Oct 2005
Daniel P. Friedman

ISBN 10: 0262535513
ISBN 13: 9780262535519

09 Mar 2018
Daniel P. Friedman

ISBN 10: 0262162091
ISBN 13: 9780262162098

01 Feb 2002
Benjamin C. Pierce

ISBN 10: 1492040347
ISBN 13: 9781492040347

01 Nov 2019
Alex Petrov

ISBN 10: 1680502549
ISBN 13: 9781680502541

20 Feb 2018
Scott Wlaschin

ISBN 10: 0262534800
ISBN 13: 9780262534802

04 May 2018
Matthias Felleisen

ISBN 10: 0521663504
ISBN 13: 9780521663502

02 Sep 2011
Chris Okasaki

ISBN 10: 1484238281
ISBN 13: 9781484238288

12 Oct 2018
Hillel Wayne

ISBN 10: 0135957052
ISBN 13: 9780135957059

09 Jan 2020
David Thomas

Warning: fopen(/var/www/ failed to open stream: Permission denied in /var/www/ on line 0

Warning: fwrite() expects parameter 1 to be resource, bool given in /var/www/ on line 0

Warning: fclose() expects parameter 1 to be resource, bool given in /var/www/ on line 0