On 28May2016 08:19, Steve Dower <[email protected]> wrote:
Did anyone suggest "distinct type alias"?
Regardless of what name, I'm fairly sure people will call it whatever the
function to create it is called. So if the function is
typings.distinguish_type(...), then distinguished will stick.
Just casting an opinion in support of Greg Ewing's remark: I don't think we
should use the word "alias", regardless of what else is used.
In <[email protected]>, Greg said:
Steven D'Aprano wrote:
> TypeAlias? Because A is an alias for int?
That suggests it's just another name for the same type, but it's not. It's a
distinct type as far as the static type checker is concerned
and I agree entirely.
Cheers,
Cameron Simpson <[email protected]>
_______________________________________________
Python-Dev mailing list
[email protected]
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
