Type-Driven Development with Idris
Book description
DESCRIPTION
Types are often seen as a tool for checking errors, with the
programmer writing a complete program first and using the type
checker to detect errors. And while tests are used to show presence of
errors, they can only find errors that you explicitly test for. In typedriven
development,…
- Coming soon!
Why read it?
1 author picked Type-Driven Development with Idris as one of their favorite books. Why do they recommend it?
For many years I did not question the validity of the language I was using, focussing instead on becoming good at getting it to do what was needed. It never occurred to me that, say, the type system could be flawed, causing extra work and allowing unnecessary bugs to seep in.
But what if, instead of writing validation code, you could define your types in a way that makes it impossible to create an invalid instance? What if you could define state transitions in such a way that a state machine cannot transition into an invalid state? These are indeed…
From Enrico's list on to learn to think like a functional programmer.
Want books like Type-Driven Development with Idris?
Our community of 10,000+ authors has personally recommended 49 books like Type-Driven Development with Idris.
Browse books like Type-Driven Development with Idris
5 book lists we think you will like!
Interested in programmers, computer programming, and python?
10,000+ authors have recommended their favorite books and what they love about them. Browse their picks for the best books about programmers, computer programming, and python.