RetroSearch Browse

Wed Jun 1 21:04:00 EDT 2016 · https://mail.python.org/pipermail/python-dev/2016-June/144808.html

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)

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2016-June/144808.html below:

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