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 to learn to think like a functional programmer.
If you love Type-Driven Development with Idris...
These Blue Mountains
A moving story of love, betrayal, and the enduring power of hope in the face of darkness.
German pianist Hedda Schlagel's world collapsed when her fiancé, Fritz, vanished after being sent to an enemy alien camp in the United States during the Great War. Fifteen years later, in 1932, Hedda…
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 2025!
And get a beautiful page showing off your 3 favorite reads.
1,395
readers submitted
so far, will you?
📚 If you like Type-Driven Development with Idris, you might also like...
In Bad Faith
Nelson West, a former Chicago homicide detective, is hired by wealthy heir Lionel Bing to discreetly help “fix” scandals and legal problems for his father’s wealthy friends.
Bing, a brilliant but troubled investigator, suffers from PTSD symptoms as a result of being kidnapped and witnessing the murder of his mother…
Your Sun Will Rise Again
Your Sun Will Rise Again is a powerful collection of poetic reflections on hope, resilience, and the human spirit. Written with sincerity and depth, these poems speak directly to those navigating life’s challenges, offering comfort, clarity, and quiet strength in difficult moments.
Through simple yet profound language, the book reminds…
