3 ms·
> For example, Hindley-Milner languages cannot add sub-typing Subtyping? Haskell has ADTs.
by mratsim 6y ago
> For example, Hindley-Milner languages cannot add sub-typing
Subtyping? Haskell has ADTs.
- namelosw 6y agoADT cannot be extended. Maybe I should say Algorithm W instead of Hindley-Milner languages - Haskell added extensibility via Type Classes.