Re: [Numpy-discussion] Heads-up: Guido van Rossum on mypy-style type annotations...