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

[Sven R. Kunze]

On 08.09.2016 00:00, Paul Moore wrote:
> 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.

If you need to read the documentation in order to understand a product, 
something's wrong. Especially given the simplicity of the examples.

Some smartphones are delivered without a manual because they are 
considered to be as intuitive as breathing or walking.

>> Type annotations are code, not tests.
> Not in Python they aren't.

Unfortunately, that's not true. :)


Sven