[Haskell-cafe] [SoC] XML Schema Implementation

[Sebastiaan Visser]

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