Hi Max, thanks for your suggestion. <div>I also have a &quot;not pretty&quot; code which used Text.XML.Light and TH. I am going to rewrite it. HXT by my opinion is too big.<div><br></div><div>The question is a &quot;requirements&quot;. Which correlations exist between Haskell types and XML-Schema possibilities? How to prepare XML for different Haskell types? How to generate Haskell types from XML-Schema, which restrictions in schema could be authomatically modeled in Haskell? And so on...</div>
<div><br></div><div><br><div class="gmail_quote">2009/8/8 Max Cantor <span dir="ltr">&lt;<a href="mailto:mxcantor@gmail.com">mxcantor@gmail.com</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Dmitry,<br>
<br>
I&#39;ve been using HXT and its XmlPickler class for encoding and decoding between XML &lt;-&gt; Haskell types.  It takes a while to wrap your brain around the arrows based API for HXT (something I&#39;m still working on) but it seems to be quite powerful and well maintained.<br>

<br>
Also, I&#39;ve written some Template Haskell code to derive instances for the XmlPickler class (so that types can automatically be encoded and decoded as XML.  Its not pretty, has bugs, and is far from perfect but I can send that to you if you&#39;d like a way to get stared.<br>

<br>
Max<br>
<br>
On Aug 7, 2009, at 7:04 PM, Dmitry Olshansky wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Well, great thanks for interesting links.<br>
<br>
But definitely at first I need a time to try to understand what Generic Haskell and EMGM are.<br>
<br>
Does it stronger than Template Haskell? Could it be explained briefly and simplistic for first impression? Could it be compared with SYB or TH?<br>
<br>
Would it be applied to realisation of translation or to target Haskell code?<br>
<br>
Regards,<br>
Dmitry<br>
<br>
<br>
2009/8/7 Sean Leather &lt;<a href="mailto:leather@cs.uu.nl" target="_blank">leather@cs.uu.nl</a>&gt;<br>
<br>
On Fri, Aug 7, 2009 at 12:05, John Lask &lt;<a href="mailto:jvlask@hotmail.com" target="_blank">jvlask@hotmail.com</a>&gt; wrote:<br>
the paper:<br>
<br>
Scripting XML with Generic Haskell<br>
Frank Atanassow, Dave Clarke and Johan Jeuring<br>
October 14, 2003<br>
<br>
describes a translation from XML Schema to Haskell data types (like dtd2haskell) in generic haskell, I believe that the code for the tool described may also be available, how hard it would be to migrate over to vanilla haskell+generics is another question....<br>

<br>
It looks like this almost might work in EMGM. They use a Label in addition to all the other representation structure elements. EMGM doesn&#39;t have a Label, but it might be useful to add it...<br>
<br>
With any needed changes such as the Label done, migrating this Generic Haskell code to EMGM would not be difficult.<br>
<br>
Sean<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote>
<br>
</blockquote></div><br></div></div>