
Aug. 26, 2002
7:36 p.m.
On Mon, Aug 26, 2002 at 03:10:59PM -0400, Andrew Koenig wrote:
Oren> Would such as product type be anything more than than a Oren> predicate about tuples?
No, I don't think it would.
(explanation about ML functions deleted)
Can you give a more concrete example of what could a cartesian product of type predicates actually stand for in Python?
However, if you're going to define predicates over tuples of (Python) types, then you had better not try to define those predicates as part of the tuples' class definitions, because they don't have one.
Naturally. Andrew, in reply to your "scribble in the margin" question about two weeks ago see http://www.tothink.com/python/predicates Oren