4 ms·

Arguably, types are a form of verification, and they already lead to better optimizations.

• beza1e1 16y ago
  Types were invented for optimization and used for verification later, weren't they?