[Python-Dev] type categories

Oren Tirosh oren-py-d@hishome.net
Mon, 26 Aug 2002 15:36:56 -0400

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.


Andrew, in reply to your "scribble in the margin" question about two 
weeks ago see http://www.tothink.com/python/predicates