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

Showing content from https://mail.python.org/pipermail/python-dev/2016-June/144807.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 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 ]

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