[Python-Dev] Adding NewType() to PEP 484

[Guido van Rossum]

Everyone on the mypy team has a different opinion so the search is on. :-(

On Wed, Jun 1, 2016 at 5:37 PM, Hai Nguyen <nhai.qn at gmail.com> wrote:
> I am +1 for DistinctType (vs others) (no specific reason, just read out
> loud).
>
> Hai
>
> On Wednesday, June 1, 2016, Guido van Rossum <guido at python.org> wrote:
>>
>> Unless Jukka objects I am going with "distinct type" when discussing
>> the feature but NewType() in code.
>>
>> --
>> --Guido van Rossum (python.org/~guido)
>> _______________________________________________
>> Python-Dev mailing list
>> Python-Dev at python.org
>> https://mail.python.org/mailman/listinfo/python-dev
>> Unsubscribe:
>> https://mail.python.org/mailman/options/python-dev/nhai.qn%40gmail.com



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