On Thursday 31 January 2002 04:40 pm, Joe English wrote:
> Common Lisp has a notion that seems applicable to XML.
> In Lisp, a type is just a predicate; a value belongs
> to the type if the predicate returns non-NIL when
> applied to the value.
I think this is fairly common in most type systems... you have the
"is-a" predicate that tests the composition of the cariable to
determine if it meets the criteria for a type. I think static typing
might cause many people to think that type is somehow bound to a name.
Some folk at DEC SRC (Cardelli?) did some interesting work on the
notion of "type".
