[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: Co-operating with Architectural Forms
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".
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|