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,…
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.
If you love Type-Driven Development with Idris...
The Rosewood Penny
2023 Queer Indie Award Nominee!
The dragons of Yuro have been hunted to extinction.
On a small, isolated island, in a reclusive forest, lives bandit leader Marani and her brother Jacks. With their outlaw band they rob from the rich to feed themselves, raiding carriages and dodging the occasional vindictive…
Want books like Type-Driven Development with Idris?
Our community of 12,000+ authors has personally recommended 52 books like Type-Driven Development with Idris.
Share your top 3 reads of 2025!
And get a beautiful page showing off your 3 favorite reads.
1,340
readers submitted
so far, will you?
📚 If you like Type-Driven Development with Idris, you might also like...
Murder, Lies and Chocolate
Book 2, Death by Chocolate series.
Rodney Bradford comes into Lindsay's restaurant, offers to buy her small house for double its value, eats her brownies, and drops dead on the sidewalk in front. Next, her almost-ex-husband offers to sign the divorce papers, but only if she'll give him her small,…
Tangle of Time
A spellbinding journey through time and cultures.
When Annie Thornton, midwife and apprentice witch, falls through time to a 15th-century Yorkshire village with her telepathic cat, Rosamund, she befriends Will and Jack, two soldiers returning from the French Wars. Mistress Meg, Annie’s ancestral aunt living in the 15th century, is…
