2 ms·
Look up 'Hindley–Milner type system'. AFAIK, one feature that break this system is subtyping which is very common in many programming languages.
by valcron1000 3y ago
Look up 'Hindley–Milner type system'. AFAIK, one feature that break this system is subtyping which is very common in many programming languages.
- nyssos 3y agoYou can't do full nominal subtyping, so no high church OO, but you can add subtyping for records without too much trouble.