[Python-ideas] Typecheckers: there can be only one

[Paul Moore]

On 7 September 2016 at 22:31, Hugh Fisher <hugo.fisher at gmail.com> wrote:
> The average programmer such as myself will expect that if I write code
> specifying the type of a variable or whatever it should *do
> something*. It's code, I wrote it, it should be interpreted.

Reading the documentation should correct that mistaken expectation.

> Type annotations are code, not tests.

Not in Python they aren't.

Paul