2 Jun
2016
2 Jun
'16
12:37 a.m.
I am +1 for DistinctType (vs others) (no specific reason, just read out loud). Hai On Wednesday, June 1, 2016, Guido van Rossum <guido@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