Chris Lattner

And so you can start, again, it's compatible with Python.

And so then you can add however many types you want, wherever you want them.

And if you don't want to deal with it, you don't have to deal with it.

And so one of our opinions on this is that it's not that types are the right thing or the wrong thing.

It's that they're a useful thing.

Yeah, with a very different approach, but yes.

Yeah, so I mean, I think it's interesting if you look at that, right?

And the reason I'm giving you a hard time, is that there's this cultural norm, this pressure, there has to be a right way to do things.

Grownups only do it one way, and if you don't do that, you should feel bad.

Some people feel like Python's a guilty pleasure or something, and it's like, when it gets serious, I need to go rewrite it, right?

Yeah, exactly.

I mean, cool.

I understand history and I understand kind of where this comes from, but I don't think it has to be a guilty pleasure.

Yeah.

So if you look at that, you say, why do you have to rewrite it?

Well, you have to rewrite it to deploy.

Well, why do you want to deploy?

Well, you care about performance or you care about productivity or you want, you know, a tiny thing on the server that has no dependencies or, you know, you have objectives that you're trying to attain.

So what if Python can achieve those objectives?

So if you want types, well, maybe you want types because you want to make sure you're passing on the right thing.