Dec 162018

A new introductory book about dependent types, involving some familiar names: The Little Typer by Daniel P. Friedman and David Thrane Christiansen. Foreword by Robert Harper. Afterword by Conor McBride. 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…

External feed Read More at the Source:


Sorry, the comment form is closed at this time.