Type-driven development with Idris
#1892 of 2,654 all-time
Type-driven development with Idris
Edwin Brady
4 people recommended it in 2 threads, 2017–2018.
What people on Hacker News said
It was a real eye-opener of what types can do.
I don't know Haskell either, but the book starts from scratch. It can be followed with no problem.
Where it comes up
- Ask HN: What's the best computer science book you've read recently? 2017 · 3 recommendations
- Ask HN: What's the best textbook you've read? 2018 · 1 recommendation