10 Things Idris Improved over Haskell

Posted on December 29, 2017 by Marko Dimjašević

Read a list of 10 things Idris improved over Haskell. For example, Idris has overloading without type classes, record fields that are namespaced, a records update and access syntax and Functor and Monad got fixed. Dependent types are not even considered as they’re out of Haskell’s league!