3 ms·

But that allows for smarter optimizations.

• tych0 13y ago
  Of course it does, and I never said it didn't. I just said that my impression is that the primary motivation of language people is correctness. However, I have published several in the area of software verification, so perhaps I am biased.