[Python-Dev] type categories

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

On Mon, Aug 26, 2002 at 11:57:31AM -0400, Andrew Koenig wrote:
> Incidentally, it just occurred to me that if we regard categories
> as claims about types (or, if you like, predicate functions with type
> arguments), then it makes sense to include (Cartesian) product types.

Would such as product type be anything more than than a predicate about 
tuples?  Something like the (T1, T2, T3) case in Guido's static typing
presentation[1] where T1, T2 and T3 are type predicates rather than just 

[1] http://www.python.org/~guido/static-typing/sld008.htm )