Cart
|
[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message] Re: XQuery types was Re: Yet another plea for XUpda
 At 12:07 PM 5/5/2002 -0600, Uche Ogbuji wrote: >Anyway, back to the main point. I agree with your broader definition of >types as being defined by constraints, and this is *precisely* why I am >always ridiculing the W3C efforts which put so much effort into static >typing at the behest of their SQL and procedural programming backgrounds >(I guess). Programmers don't need to become pure mathematicians to >appreciate this: Bertrand Meyer provides much of the essence in his own >writing about object-oriented development. I don't really understand you here, Uche. Bertrand Meyer certainly felt that static typing was a central feature of Eiffel, the language he designed. Functional languages like Haskell and OCamL and XML systems like XForm, RELAX, and XML Schema had much more of an influence on the XQuery formal semantics than anything in SQL. And the tie-in to procedural languages eludes me. If you think Bertrand Meyer is on the right track, saying that both dynamic typing and static typing are important, then why do you think that this does not apply to XQuery? Jonathan 
|
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
|
|||||||||
