[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 XUpdat

  • To: "Jonathan Borden" <jborden@a...>
  • Subject: RE: XQuery types was Re: Yet another plea for XUpdate...
  • From: "Dare Obasanjo" <dareo@m...>
  • Date: Sun, 5 May 2002 12:52:52 -0700
  • Cc: <xml-dev@l...>
  • Thread-index: AcH0aTvaR6phhh1BTL6vbl74dmsfKgAAFQIQ
  • Thread-topic: XQuery types was Re: Yet another plea for XUpdate...

xquery types
As Uche aptly pointed out, people with a programming background
typically have a notion of types is derived from how they are treated in
programming languages and other aspects of Computer Science, not from
freshman philosophy classes. 

I am interested in XQuery types from a dynamic vs. statically typed
perspective and not whether from a philosophical point of view as long
as things can be grouped together they can be considered to have a
certain "type".

PS: When I said my background in formal CS theory was weak, I didn't
mean I don't have formal CS training but that I didn't have the
background to debate type systems to any great degree. For example any
of the following papers would go completely over my head 

http://citeseer.nj.nec.com/geuvers93logics.html
http://citeseer.nj.nec.com/31287.html 
http://citeseer.nj.nec.com/kamareddine96correspondence.html
  
which in my estimation means I am not qualified to debate type systems
to any significant degree besides from a programmer's perspective. 

-- 
PITHY WORDS OF WISDOM 
No matter how long or how hard you shop for an item, 
after you've bought it, it will be on sale somewhere cheaper. 
 
This posting is provided "AS IS" with no warranties, and confers no
rights. 
You assume all risk for your use. (c) 2002 Microsoft Corporation. All
rights reserved.



> -----Original Message-----
> From: Jonathan Borden [mailto:jborden@a...] 
> Sent: Monday, May 06, 2002 12:29 AM
> To: Dare Obasanjo
> Cc: xml-dev@l...
> Subject: Re:  XQuery types was Re:  Yet 
> another plea for XUpdate...
> 
> 
> Dare,
> 
> 
> > This thread is a waste of my time.
> 
> I don't think it is, honestly. Please go back and reread: 
http://lists.xml.org/archives/xml-dev/200205/msg00218.html

> Obviously you have
> refused to understand my point w.r.t. XQuery & updates

I changed the subject line _on purpose_ because I am not talking about
the relationship between XQuery and updates, rather XQuery types
themselves:

1) The debates about types in XML Schema and XQuery have been going on
for _years_ now, you are not the first, nor likely the last to get
involved with this. My strong impression is that everyone practically
has a totally different idea of what the term "type" means. Furthermore,
lots of people's eyes glaze over when any mention of the "PSVI" or sight
of the XQuery formal semantics appears. I am _honestly_ trying to give a
very simple interpretation of this.

2) IMHO the only rational way to understand types w.r.t. XML is not as
"static types" rather as classes. Think of classes as javascript
"expando" objects (for example).

3) When I say that types and validation are two different (albeit
related) things, I mean it. You said this was different than any formal
descriptions of types you've encountered. I provided a reference -- not
an esoteric incomprehensible reference, instead a reference that is

a) short -- i think the paperback is something like $9.99
b) relatively readable

Jonathan


-----------------------------------------------------------------
The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
initiative of OASIS <http://www.oasis-open.org>

The list archives are at http://lists.xml.org/archives/xml-dev/

To subscribe or unsubscribe from this list use the subscription
manager: <http://lists.xml.org/ob/adm.pl>


PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
 

Stylus Studio has published XML-DEV in RSS and ATOM formats, enabling users to easily subcribe to the list from their preferred news reader application.


Stylus Studio Sponsored Links are added links designed to provide related and additional information to the visitors of this website. they were not included by the author in the initial post. To view the content without the Sponsor Links please click here.

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.