3 ms·
> The kind of type magic that SmallTalk really is not designed to do, except perhaps as a system on top, is Hindley–Milner (HM) type systems. But those really o
by bitwize 4y ago
> The kind of type magic that SmallTalk really is not designed to do, except perhaps as a system on top, is Hindley–Milner (HM) type systems. But those really only shine in Haskell, ML and related languages.
Again, table stakes. There was a whole HN thread about how a language that couldn't do sum types is not fit for use in modern software development.
- muyuu 4y agoIt's a tough claim to say that modern software development cannot be done with a language without HM typing facilities as first class, when most software development is done without it.