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

Guido van Rossum guido at python.org
Wed Jun 1 21:04:00 EDT 2016


I've merged this into PEP 484 now. The informal term used there is
actually "unique type" which is fine. End of discussion please.

On Wed, Jun 1, 2016 at 5:50 PM, Bernardo Sulzbach
<mafagafogigante at gmail.com> wrote:
> On 06/01/2016 09:44 PM, Guido van Rossum wrote:
>>
>> 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).
>>>
>
> At least on this thread it seems like (I haven't counted) that distinct type
> [alias] is the preferred option.
> _______________________________________________
> 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/guido%40python.org



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


More information about the Python-Dev mailing list