str % vals -like idea but for statements (was Re: PEP-308 a "simplicity-first" alternative)

Erik Max Francis max at alcyone.com
Thu Feb 13 00:35:00 CET 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