[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Guido van Rossum guido at python.org
Wed Jun 1 20:44:40 EDT 2016
- Previous message (by thread): [Python-Dev] Adding NewType() to PEP 484
- Next message (by thread): [Python-Dev] Adding NewType() to PEP 484
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
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).
Hai On Wednesday, June 1, 2016, Guido van Rossum <guido at 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 at 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)
- Previous message (by thread): [Python-Dev] Adding NewType() to PEP 484
- Next message (by thread): [Python-Dev] Adding NewType() to PEP 484
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]