4 ms·

An interesting aspect of Haskell is that it tries really really hard to avoid subtyping, relying instead on other mechanisms. This talk by Simon Peyton Jones to

• marcosdumay 11y ago
  Haskell has interface based generics, just like the article wants people to write. It just calls its interfaces by classes, and has a more powerful implementation than Java, that deals with default code and makes incompatibilities impossible. Haskell even allows interface inheritance, just like Java, but calls it by... well, no name that I'm aware of, but it's there.