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.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
yeah, so many descriptions of dependent types are filled with a bunch of philosophical inspecific pretentious crap that constantly mentions the curry howard isomorphism without teaching you anything..
-
I enjoy the philosophical stuff, but, indeed, it's not so hard if you just get on with it, with plenty of examples.
- 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.