On Fri, May 27, 2016 at 9:26 PM, Guido van Rossum <gu...@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/Ada_Programming/Type_System#Derived_types) > 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@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
