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.
I enjoy the philosophical stuff, but, indeed, it's not so hard if you just get on with it, with plenty of examples.
-
-
the philosophical stuff is great when done well, as many good books (such as software foundations) do, but lots of inspecific blogs and such
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.