Guido van Rossum

Pyrite, like R-I-G-H-T?

Correct.

Yeah, all my word processors tend to typo correct that as Pyrite, the name of the, I don't know what it is.

some kind of semi-precious metal.

Oh, right.

Nobody is currently excited about doing any work towards that.

That doesn't mean that five or 10 years from now,

the situation isn't different.

At the moment, all the static type checkers still evolve at a much higher speed than Python and its annotation syntax evolve.

You get a new release of Python once a year.

Those are the only times that you can introduce new annotation syntax.

And there are always people who invent new annotation syntax that they're trying to push.

And worse, once we've all agreed that we are going to put some new syntax in, we can never take it back.

At least a sort of deprecating an existing feature takes many releases because you have to assume that people started using it as soon as we announced it.

And then you can't take it away from them right away.

You have to start telling them, well, this will go away, but we're not going to tell you that it's an error yet.

And then later it's going to be a warning.

And then eventually three releases in the future, maybe we remove it.

On the other hand, the typical static type checker still has a release like

every month, every two months, certainly many times a year.