Type-Driven Development with Idris

by Edwin Brady

Programming Computer Science

0.0 out of 5 stars (0 ratings)

View on Amazon View on BAM Trade it in for cash!

Learn to use dependent types in Idris to build safer, more reliable software through practical type-driven development techniques.

ISBN-13 9781617293023 ASIN 1617293024 Views 139 Publisher Manning Publications Year 2017 Edition First Edition Format Paperback Product Group Book Pages 480 Adult No Created February 08, 2026 Updated October 06, 2026

About This Book

This book introduces type-driven development using the Idris programming language.

It demonstrates how dependent types can help create more reliable and correct software.

Readers will learn to leverage types to guide program design and implementation.

The content focuses on practical techniques for building robust applications.

Reviews

No reviews yet. Be the first to review this book!

Write a Review

I will be using this book for:

1 total vote