Re: abstract data types in XQuery? information hiding?

> 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,
>     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?

We did something a bit like this for task.xq whereby we used Maps of
functions to imitate objects, if you squint a bit and write combinator
functions that expect certain named map entries to have certain
function signatures then you can get a structural typing like
approach.

-- 
Adam Retter

skype: adam.retter
tweet: adamretter
http://www.adamretter.org.uk

_______________________________________________________________________

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