[Python-Dev] Adding NewType() to PEP 484 (original) (raw)
Fred Drake fred at fdrake.net
Sun May 29 20:12:04 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 Sun, May 29, 2016 at 4:53 PM, Guido van Rossum <gvanrossum at gmail.com> wrote:
I am currently in favor of Distinct Type [Alias].
I actually like distinguished type better:
A = typing.distinguish("A", int)
-Fred
-- Fred L. Drake, Jr. "A storm broke loose in my mind." --Albert Einstein
- 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 ]