Types of Performance

A good part of the talk was exactly trying to distill what we can gain from a type system. And then if I said anything absurd, I would actually love to hear your data. Because they're definitely more expressed to me because one of the things that we, I hear a lot in these discussions is that people are like, well, you know, when I have types, I don't need to write tests.