[Python-Dev] type categories

[Oren Tirosh]

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