[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Guido van Rossum guido at python.org
Wed Jun 1 16:59:57 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 ]
Unless Jukka objects I am going with "distinct type" when discussing the feature but NewType() in code.
-- --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 ]