RetroSearch Browse

Wed Jun 1 20:37:20 EDT 2016 · https://mail.python.org/pipermail/python-dev/2016-June/144806.html

I am +1 for DistinctType (vs others) (no specific reason, just read out
loud).

Hai

On Wednesday, June 1, 2016, Guido van Rossum <guido at python.org> wrote:

> Unless Jukka objects I am going with "distinct type" when discussing
> the feature but NewType() in code.
>
> --
> --Guido van Rossum (python.org/~guido)
> _______________________________________________
> Python-Dev mailing list
> Python-Dev at python.org <javascript:;>
> https://mail.python.org/mailman/listinfo/python-dev
> Unsubscribe:
> https://mail.python.org/mailman/options/python-dev/nhai.qn%40gmail.com
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20160601/f32143b6/attachment.html>

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

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

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