str % vals -like idea but for statements (was Re: PEP-308 a "simplicity-first" alternative)
Erik Max Francis
max at alcyone.com
Wed Feb 12 18:35:00 EST 2003
Andrew Koenig wrote:
> >> I don't think I will ever fully get used to 'and' being of type
> >>
> >> (bool, T) -> T
>
> > It's not. It's (T, T) -> T!
>
> It's (T1, T2) -> union(T1, T2)
If we want to be completely anal, shouldn't it be
T1 x T2 -> T1 U T2
where x is the Cartesian product and U is the set union operator? :-)
Your left hand side there is just an ordered pair of sets, rather than a
set of ordered pairs :-).
--
Erik Max Francis / max at alcyone.com / http://www.alcyone.com/max/
__ San Jose, CA, USA / 37 20 N 121 53 W / &tSftDotIotE
/ \ You cannot step into the same river once.
\__/ Cratylus
Python chess module / http://www.alcyone.com/pyos/chess/
A chess game adjudicator in Python.
More information about the Python-list
mailing list