[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Oscar Benjamin oscar.j.benjamin at gmail.com
Sun May 29 19:08:42 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 28 May 2016 00:03, "Guido van Rossum" <gvanrossum at gmail.com> wrote:
Also -- the most important thing. :-) What to call these things? We're pretty much settled on the semantics and how to create them (A = NewType('A', int)) but what should we call types like A when we're talking about them? "New types" sounds awkward.
How about "nominal type" since the type is distinct only in name?
-- Oscar -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.python.org/pipermail/python-dev/attachments/20160530/152afffb/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 ]