[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Bernardo Sulzbach mafagafogigante at gmail.com
Sat May 28 14:49:09 EDT 2016
- 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 ]