OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] Co-operating with Architectural Forms

[ Lists Home | Date Index | Thread Index ]

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".


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS