Amusing to read this article from @passle about from a perspective: dev.to/thepassle/using-typescr

Looks like parts of the ecosystem are abandoning TypeScript and putting types in docstrings and header files.

Meanwhile, in Python we are going in the opposite direction: moving types from docstrings to signatures (making them hard to read, quite frankly), and giving up on using stubs because of github.com/python/mypy/issues/

Could we do things differently?