I am +1 for DistinctType (vs others) (no specific reason, just read out loud).
Hai On Wednesday, June 1, 2016, Guido van Rossum <gu...@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@python.org <javascript:;> > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > https://mail.python.org/mailman/options/python-dev/nhai.qn%40gmail.com >
_______________________________________________ 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