3 ms·
Expressiveness of type systems is about which types (and thus type checks) you can express, not when the type checking occurs
by jcelerier 5y ago
Expressiveness of type systems is about which types (and thus type checks) you can express, not when the type checking occurs