[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Chris Jerdonek chris.jerdonek at gmail.com
Sat May 28 18:59:35 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 ]
On Fri, May 27, 2016 at 9:26 PM, Guido van Rossum <guido at python.org> wrote:
We discussed this over dinner at PyCon, some ideas we came up with:
- Dependent types, harking back to a similar concept in Ada (https://en.wikibooks.org/wiki/AdaProgramming/TypeSystem#Derivedtypes) which in that language is also spelled with "new". - New type - Distinguished Type - Distinguished Subtype - Distinguished Type Alias - Distinguished Alias - BoatyMcBoatType
Some more suggestions:
Cloned Type (or Type Clone)
Copied Type (or Type Copy)
Named Type
Renamed Type
Twin Type
Wrapped Type
Doppelganger Type (not serious)
--Chris
- 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 ]