[Python-ideas] Optional static typing -- late to the party

[Ethan Furman]

On 08/20/2014 05:09 PM, Steven D'Aprano wrote:
> On Thu, Aug 21, 2014 at 06:29:16AM +1000, Ben Finney wrote:
>>
>> Remember that we're talking about type annotations that are for
>> *static code checkers* to inspect. Docstrings will certainly be
>> available there.
>
> True, but runtime checks may (or may not) be a part of the code checker.
> At least, we should not rule that out.

This proposal is not about "a code checker" but about *static* typing.

Seems to be a lot of people forgetting that *static* (at least in this case), means not actually running the program -- 
hence, no loss of docstrings.

--
~Ethan~