Sven R. Kunze writes:
> Type[A, B] reminds me of isinstance(obj, (A, B)).
Sure, but Guido already invoked EIBTI.
For one (obscure) alternative, Type[A, B] reminded me of Fun(A,B) (the
functors from category A to category B), and in Python I would tend to
map that to a function type (taking argument from A, returning value
from B). Another (probably more plausible to Pythonistas) would be a
type that *mixes* A and B, ie, one might be reminded of
class C(A, B):
pass
isinstance(obj, C)
or even (continuing the example)
class E(B, A, D): # Order of A, B irrelevant! Yikes!
pass
isinstance(obj, (C, E))
Regards,
_______________________________________________
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
