Guido van Rossum

Well, maybe we should consider that biological systems are just engineering systems too, right?

Yes.

Just very advanced with more history.

It's a very different culture, and to some extent differences in culture are random, but to some extent the differences have to do with the environment.

Yeah.

And the fact that JavaScript is primarily the language for developing web applications, especially the client side, and the fact that it's basically the only language for developing web applications, makes that community sort of just have a different nature than the community of other languages.

It is still controversial, but it is much more accepted than when MyPi and PEP484 were young.

MyPi...

was the original static type checker.

MyPy quickly evolved from Yucca's own variant of Python to a static type checker for Python.

And sort of PEP484, that was a very productive year where many hundreds of messages were exchanged, debating the merits of every aspect of that PEP.

And so MyPy is a static type checker for Python.

It is itself written in Python.

Most additional static typing features that we introduced in the time since 3.6 were also prototyped through MyPy.

MyPy being an open source project with a very small number of maintainers.

It was successful enough that people said this static type checking stuff for Python is actually worth an investment for our company.

Nice.

But somehow they chose not to support Python.

making MyPi faster, say, or adding new features to MyPi, but both Google and Facebook and later Microsoft developed their own static type checker.

I think Facebook was one of the first.