[Python-ideas] Lessons from typing hinting Whoosh (PEP484)

[Guido van Rossum]

No, PEP 484 is about a pragmatic compromise that doesn't require
adding new syntax and yet allows a reasonable amount of checking. Type
checking religion has no place here.

On Mon, Nov 16, 2015 at 5:27 PM, Chris Barker - NOAA Federal
<chris.barker at noaa.gov> wrote:
>>> As a side note, most of the C++ family have something akin to "typedef" and/or "using" type aliases that are explicitly _not_ treated as different types by the static typing algorithm:
>
> ...
>> Yes, that's what PEP 484 type aliases do too.
>
> Darn -- C typedefs have their uses, but improving type safety is not
> one of them.
>
> PEP 484 is all about type checking/safety -- it seems it would be a
> lot more useful if aliases were treated as different types.
>
> Oh well.
>
> CHB



-- 
--Guido van Rossum (python.org/~guido)