4 ms·
I've been interested in Idris for quite awhile, but not sure how to go about learning it. Are there any particularly good resources? Am I expected to know Haske
by ch4s3 6y ago
I've been interested in Idris for quite awhile, but not sure how to go about learning it. Are there any particularly good resources? Am I expected to know Haskell or is it sufficient to have a few years of experience with FP in general?
- mixedCase 6y agoYou 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.
- lightgreen 6y agohttps://learn-idris.net/ https://learn-idris.net/ this is the website I made. Not sure it is very good though. The Edwin’s book about Idris is good, BTW.