|
|
|
|
|
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. |
|