Friedman, Daniel P.

The Little Typer (The MIT Press)

(No reviews yet) Write a Review

ISBN 13:: 9780262536431
author:: Friedman, Daniel P.
format:: Paperback / softback
publisher:: MIT Press
language:: English
Publication Year:: 2018
Pages:: 424
Dimensions:: 22.9 x 17.8 x 2.1 centimetres (0
Genre:: Computers, Programming, General,
Condition:: New
Availability:: Item usually sent within 10 working days

£46.15

Current Stock: 5

Quantity:

Description

Description

The Little Typer introduces dependent types in a clear and accessible way, exploring their beauty and power. By examining how a program's type describes its behavior, this book shows how dependent types can be used to build powerful programs and capture mathematical reasoning.

Building on the basics of a Lisp-like programming language, The Little Typer provides the tools needed to understand dependent types and demonstrates their application in both programming and mathematics. You'll learn that familiar concepts from programming, such as pairs, lists, functions, and recursion, can also be used to capture patterns of reasoning.

This book focuses on illustrating the key aspects of dependent types in a straightforward manner, one step at a time. It doesn't aim to teach practical programming skills or provide a fully rigorous approach to types, but rather provides a clear introduction to this important topic.

View AllClose

Related Products

Related Products

The Invincible (The MIT Press)

Lem, Stanislaw

£14.04

Stanisław Lem's The Invincible is a thought-provoking science fiction novel that explores the boundaries of human knowledge and understanding. When a space cruiser is sent to investigate the sudden...

The Little Book of Birmingham (Little Book Of... (History Press))

Norman Bartlam

£13.42

Discover the quirky side of Birmingham with this entertaining compendium of facts and anecdotes. From unusual crimes and punishments to eccentric inhabitants and famous sons and daughters, this book...

The Little Book of Norfolk (Little Book Of... (History Press))

Neil R. Storey

£13.29

The Little Book of Norfolk offers an entertaining and informative look at one of England's most colourful counties. This engaging reference book is packed with fascinating facts and trivia about...

The Psychology of Art (The MIT Press)

Vygotsky, Lev S.

£41.97

The Psychology of Art by Lev S. Vygotsky explores the relationship between art and psychology from a unique sociohistorical perspective. Written over forty years ago, this groundbreaking work is now...

The Essential Tversky (The MIT Press)

Tversky, Amos

£47.04

Discover the groundbreaking work of Amos Tversky, a pioneering social science thinker whose ideas continue to shape our understanding of human decision-making.This collection brings together some of...