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

[Ivan Levkivskyi]

On 28 May 2016 at 06:26, Guido van Rossum <guido at python.org> wrote:

> Personally I'm still in favor of Derived type (but I'm more into
> ancient programming languages than most folks here). I could also live
> with Distinguished Type.

I think both "derived" and "distinguished" are OK, but I am more in favour
of "distinguished".
The reason  is sometimes people might talk about derived types while
meaning normal derived classes.
Also, indeed "distinguished" is a rare word, so that it will not cause
confusions and easy to look up.

--
Ivan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20160528/801d601b/attachment.html>