Re: abstract data types in XQuery? information hiding?

"Liam R. E. Quin" <[email protected]> Mon, 17 Jun 2024 22:27:32 -0400
Newsgroups gmane.text.xml.devel
Message-ID <[email protected]>
On Mon, 2024-06-17 at 11:35 -0600, C. M. Sperberg-McQueen wrote:
>=20
> Since XQuery doesn't have the ability to declare new type names (or
> am I
> missing something very important?), I don't see a straightforward way
> to
> do this inside of XQuery.

You can import a schema, but overall i agree with Mike Kay here that
XML and the qt stack is really not very amenable to data hiding.

There=E2=80=99s a qt4 proposal i think to add a typedef, but that=E2=80=99s=
 an alias
for an existing type i think.

Providing a function-based interface to a type might get you some of
the way. Better yet, divorce types from the processing, and provide a
Java-style functional interface,=20
    socks:get-pair()
    socks:get-colour($which as dt:leftRight)
    socks:wash($socks as item()*)
and here, wash() would check using instance of that it was passed the
right type, and you could use a different implementation, with a
different namespace binding of the socks prefix, and maybe you can
accomplish what you want indirectly?

liam


--=20
Liam Quin,=C2=A0https://www.delightfulcomputing.com/
Available for XML/Document/Information Architecture/XSLT/
XSL/XQuery/Web/Text Processing/A11Y training, work & consulting.
Barefoot Web-slave, antique illustrations: =C2=A0http://www.fromoldbooks.or=
g

_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: [email protected]
subscribe: [email protected]
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php