On Wed, 14 Apr 2021 10:12:19 +1000 Hugh Fisher <[email protected]> wrote: > > For example, type equivalence by name only is used in Ada (or was, > it's been many years) and probably other languages. In equivalence > by name, the following code would not pass the type checker. > x : list[int] > y : list[int] > x = y # Type error > > But I'm not aware of anyone implementing type by name equivalence > for Python, and the original PEP 483 seems to explicitly close off that > possibility. Instead the assumption seems to be Java/C++ structural > equivalence for types.
Can you explain why you think C++ typing is based on structural equivalence? Regards Antoine. _______________________________________________ Python-Dev mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/T7CDYAOV5RHMJI2N6ND6QXQWKWSPFQCV/ Code of Conduct: http://python.org/psf/codeofconduct/
