On Sun, May 29, 2016 at 4:53 PM, Guido van Rossum <gvanros...@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. <fred at fdrake.net> "A storm broke loose in my mind." --Albert Einstein _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com