Hacker News new | ask | show | jobs
by Ericson2314 1984 days ago
I'm not arguing untyped is good: it's most certainly not. Everything nullable is also bad, and also introduces a limited some type (Maybe).

What I am saying is if you have static types (good) but don't do anything else, you loose sums (bad). You then need to add (back) sums.