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...@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.
_______________________________________________
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