[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Bernardo Sulzbach mafagafogigante at gmail.com
Wed Jun 1 20:50:07 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 06/01/2016 09:44 PM, Guido van Rossum wrote:
Everyone on the mypy team has a different opinion so the search is on. :-(
On Wed, Jun 1, 2016 at 5:37 PM, Hai Nguyen <nhai.qn at gmail.com> wrote: I am +1 for DistinctType (vs others) (no specific reason, just read out loud).
At least on this thread it seems like (I haven't counted) that distinct type [alias] is the preferred option.
- 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 ]