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 <mafagafogiga...@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...@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@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) _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
