There is good book about it: Type driven develpment with Idris.
I read most of it, but didn’t switch to the language,
because I don’t want to pay the reduced productivity (for some time) because of switching language.
Also, sometimes I feel the OCaml community is too small, so some things don’t take off and some parts of the ecosystem still lag behind compared to some other languages and communities.
With Idris, that would be worse. I guess their user community is way smaller.
2 Likes