Alexander Jacobson <[EMAIL PROTECTED]> writes:
> * facilitate better integration with other languages/systems
> For example, it would be nice to be able either to generate a Haskell
> datatype from an XML DTD or to generate a XML DTD from a Haskell
> datatype.
Funnily enough, that's exactly what we're working on at the moment. We
already have the part which converts an arbitrary Haskell datatype to
an XML DTD (and values of that type to an XML document). We are
part-way through the other angle, starting from an arbitrary XML DTD
and deriving a Haskell datatype for it (and the functions which parse
an XML document to a value of that type, and pretty-print the value
back to a document.) These are written partially using DrIFT (i.e. the
"derive" tool) - which has turned out to be a remarkably pleasant
experience.
We also have a prototype combinator library for manipulating XML
documents in a generic manner (i.e. using a single generic tree
structure for all documents, rather than document-specific types and
values).
If anyone is interested in any of these facilities, drop us an email.
Regards,
[EMAIL PROTECTED]
[EMAIL PROTECTED]
----
