Re: [Python-Dev] Adding Type[C] to PEP 484

2016年5月21日 00:51:08 -0700

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
[email protected]
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to