RetroSearch Browse

Sat May 28 06:46:55 EDT 2016 · https://mail.python.org/pipermail/python-dev/2016-May/144762.html

There is another interesting idea from Twitter: call them type wrappers.

--
Ivan

On 28 May 2016 at 11:01, Ivan Levkivskyi <levkivskyi at gmail.com> wrote:
>
> 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/0cc02b03/attachment.html>

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

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

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