miniblog.

← Back to all posts
Jun 22, 2012 at 18:18
The more languages you code in, the more you see the flaws in the one you're using right now. #inevitablelanguagesnob

Related Posts

Jun 17, 2017 at 14:48
10 things Idris improved over Haskell https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ (good discussion of Haskell design flaws that Idris has tackled)
10 things Idris improved over Haskell
10 things Idris improved over Haskell
The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent…