miniblog.
← Back to all posts
Wilfred Hughes
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
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…
