News for hackers. Stuff that matters.

A comment on Haskell for a New Decade [pdf]. Parent comment

Re:Haskell for a New Decade [pdf] by mratsim on Wednesday June 24, 2020 @05:52AM (#23626063)
> For example, Hindley-Milner languages cannot add sub-typing

Subtyping? Haskell has ADTs.

[ Parent | on HN ]
Re:Haskell for a New Decade [pdf] by namelosw on Wednesday June 24, 2020 @08:07AM (#23626921)
ADT cannot be extended. Maybe I should say Algorithm W instead of Hindley-Milner languages - Haskell added extensibility via Type Classes.
[ Parent | on HN ]