Type-Driven Development with Idris

Edwin Brady

2 readers recommend it across 2 discussions

Topics are model-inferred labels.

Keep it on your reading list

Understand a subject Build something Change perspective

THE WORD OF MOUTH

What made it worth passing on?

Original Hacker News comments, in the readers’ own words.

lodiJan 6, 2018

Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-i... (https://www.manning.com/books/type-driven-development-with-idris)

Read comment Books from this discussion: Ask HN: What's the best textbook you've read?

edkoJan 16, 2017

Type-driven development with Idris (https://www.manning.com/books/type-driven-development-with-i... (https://www.manning.com/books/type-driven-development-with-idris)). It was a real eye-opener of what types can do.

Read comment Books from this discussion: Ask HN: What's the best computer science book you've read recently?