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

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

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

• 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 05/28/2016 12:19 PM, Steve Dower wrote:
> Did anyone suggest "distinct type alias"?
>

I would just like to mention that "distinguished" seems to be more often 
associated with notability and excellence than "distinct", which is 
usually more neutral towards the quality of what it describes.

Unless we want to say that these types are nobler than their 
counterparts, "distinguished" seems worse than "distinct".

• 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 ]

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4