3 ms·

I was about to say this. Most type systems in practical use are not mathematically sound.

• ionforce 8y ago
  Is there a way to understand this tradeoff in a principled way?