[Python-Dev] type categories
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