[Python-Dev] Adding NewType() to PEP 484

[Ivan Levkivskyi]

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/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 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>