I love how similar Haskell and Idris are. It makes learning the latter so much easier than other dependently-typed languages. Just ported a bit of fancy-typed Haskell to Idris and it became so beautiful with little effort.
-
-
_Learn You a Haskell for Great Good!_ has CC licence. I wonder how difficult it would be to transcribe it to Idris and just sprinkle some dependently-typed programming chapters in.
-
I'm not keen on that one for various reasons, but I think it's better to not treat dependent types as anything special, so better to stay from scratch really. Type level programming is first class, after all.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.