[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Ivan Levkivskyi levkivskyi at gmail.com
Sun May 29 01:07:17 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 ]
Type clone sounds good. But I am still inclined more towards "distinct".
-- Ivan 29 Тра 2016 01:04 "Chris Jerdonek" <chris.jerdonek at gmail.com> пише:
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
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/levkivskyi%40gmail.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20160529/491c9805/attachment.html>
- 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 ]