Vlad, Some time ago I wrote a generic Haskell data type to XML/XSD library[1]. It was based on an old singleton version of the multirec[2] generic programming library. I never released any of it because it is not really usable in a serious setting but you might want to look at it for some inspiration. Generic programming is *really* useful when it comes to managing XML from Haskell. -- Sebastiaan. [1] http://funct.org/code/gxml/ [2] http://hackage.haskell.org/cgi-bin/hackage-scripts/package/multirec On Mar 31, 2009, at 12:16 AM, Vlad Dogaru wrote:
Hello everyone,
I am writing to judge interest in a Summer of Code proposition: an XML Schema[1] implementation, described as a possbile application here[2]. As both a tool and an inspiration, I intend to use HaXML[3].
More specifically, I would be interested in the degree the Haskell community uses XML Schema, and if you were tempted to use it if we had an implementation. To further expand the question, how useful do you consider each of these components: * a validator * a pretty-printer * a translator from XML Schema to Haskell, similar to DtdToHaskell[4]
For the latter item, some runtime checking will definitely be required: restrictions such as value ranges for integers or minimum and maximum occurences of an element cannot, to my knowledge, be enforced through type definitions. Finally, I kindly ask anyone with relevant experience to point out other possible pitfalls.
Vlad Dogaru
[1] http://www.w3schools.com/Schema/ [2] http://hackage.haskell.org/trac/summer-of-code/ticket/1120 [3] http://www.cs.york.ac.uk/fp/HaXml/ [4] http://www.cs.york.ac.uk/fp/HaXml/Xml2Haskell.html