3 ms·
You should be good to go picking up "Type-driven development with Idris". It's a great book not just for learning Idris but also for hammering down the concept
by mixedCase 6y ago
You should be good to go picking up "Type-driven development with Idris". It's a great book not just for learning Idris but also for hammering down the concept of using types and the compiler as a design pillar if you're not fully used to it.
- ch4s3 6y agoI've written some Elm so I think I basically get the concept. I'll have to check out the book then.
- mkw5053 6y ago+1 on "Type-driven development with Idris". A really fun and insightful book to work through!
- saityi 6y agoThere's even a page in the Idris 2 docs with updates to the book for Idris 2 -- https://idris2.readthedocs.io/en/latest/typedd/typedd.html https://idris2.readthedocs.io/en/latest/typedd/typedd.html The book is otherwise still totally relevant for Idris 2 and is a great read & introduction to dependent types.