10 Things Idris Improved over Haskell

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!

Leave a Reply

Your email address will not be published. Required fields are marked *

IMPORTANT! To be able to proceed, you need to solve the following simple math (so we know that you are a human) :-)

What is (3 + 1] + 200?
Please leave these three fields as-is: