RetroSearch Browse

Sun May 29 19:08:42 EDT 2016 · https://mail.python.org/pipermail/python-dev/2016-May/144788.html

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>

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2016-May/144788.html below:

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