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). > > 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 >> 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) _______________________________________________ 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
