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…
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 The best books to learn to think like a functional programmer.
If you love Type-Driven Development with Idris...
December on 5C4
Magical realism meets the magic of Christmas in this mix of Jewish, New Testament, and Santa stories–all reenacted in an urban psychiatric hospital!
On locked ward 5C4, Josh, a patient with many similarities to Jesus, is hospitalized concurrently with Nick, a patient with many similarities to Santa. The two argue…
Want books like Type-Driven Development with Idris?
Our community of 13,000+ authors has personally recommended 52 books like Type-Driven Development with Idris.
Share your top 3 reads of 2026!
And get a beautiful page showing off your 3 favorite reads.
175
readers submitted
so far, will you?
📚 If you like Type-Driven Development with Idris, you might also like...
Sexy Selfie Nation
The problem is not with the actions young women take but with the toxic, sexist conditions they are responding to.
Tanenbaum found, based on six years of interviews with young people ages 14-30, that young women are navigating a culture littered with gendered dress codes, revenge porn, and sexually explicit…
In This Together
In This Together explores how we can harness our social networks to make a real impact fighting the climate crisis. Against notions of the lone environmental crusader, Marianne E. Krasny shows us the power of "network climate action"—the idea that our own ordinary acts can influence and inspire those close…
