<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/3de4e7a22cc0c59c1c912dc2ff2c6cc9"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-04T18:37:17"
  subject="Re: [Caml-list] XML, XSL, eXcetera"
  prev="2002/07/a8750e6e5c21abd91d03e3547ae8f043"
  next="2002/07/da9c64efeb1382bf9af0bec89e67a2d5"
  prev-in-thread="2002/07/742672565244316ae0d90aeefcf7d334"
  next-in-thread="2002/07/da9c64efeb1382bf9af0bec89e67a2d5"
  prev-thread="2002/07/a953a7886e03a4bf3b4720f57360714c"
  next-thread="2002/07/bdd946e270849705a3a7e2f39ff61625"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/742672565244316ae0d90aeefcf7d334"
  from="forsyth@c..."
  author="forsyth@c..."
  date="2002-07-04T08:45:18"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/3de4e7a22cc0c59c1c912dc2ff2c6cc9"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-04T18:37:17"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/da9c64efeb1382bf9af0bec89e67a2d5"
  from="Gerd Stolpmann &lt;info@g...&gt;"
  author="Gerd Stolpmann"
  date="2002-07-04T21:51:49"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/5478ade2356480a6560d0e146e89d82a"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-04T22:37:20"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/b97a84514d31d180e34e1f35f8f36992"
  from="Stefano Zacchiroli &lt;zack@c...&gt;"
  author="Stefano Zacchiroli"
  date="2002-07-05T08:07:09"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/9f71f3e8bf6baa5ce38e39fb13e04284"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-06T14:09:17"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
</msg>
</msg>
</msg>
<msg 
  url="2002/07/efbccf2948fc97802e181fc5bfd67f65"
  from="Henrik Motakef &lt;henrik.motakef@w...&gt;"
  author="Henrik Motakef"
  date="2002-07-04T22:38:33"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
</msg>
<msg 
  url="2002/07/cbec09021d56233041ce70f8aa3b40da"
  from="Alain Frisch &lt;frisch@c...&gt;"
  author="Alain Frisch"
  date="2002-07-05T00:15:30"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/d35cfad39ad5a95044585490bdc86185"
  from="Claudio Sacerdoti Coen &lt;sacerdot@c...&gt;"
  author="Claudio Sacerdoti Coen"
  date="2002-07-05T16:36:30"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/905e2118bb1242c688e9904a4ace9afc"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-06T14:16:29"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
<msg 
  url="2002/07/4d3d90399b5d02aacc1097cf0afe66fd"
  from="Claudio Sacerdoti Coen &lt;sacerdot@c...&gt;"
  author="Claudio Sacerdoti Coen"
  date="2002-07-08T12:29:13"
  subject="Re: [Caml-list] XML, XSL, eXcetera">
</msg>
</msg>
</msg>
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>


forsyth@caldo.demon.co.uk wrote:
 &gt; http://gnosis.cx/publish/programming/xml_matters_14.html
 &gt; discusses an alternative approach to XSLT for XML 
processing that might be of interest to
 &gt; some on this list.  that page has URLs for the original 
papers.
 &gt; worth a look.

This seems an interesting approach. XSLT is direct but weak
in its expressive power. What I really want is a "natural"
way to process XML files in O'Caml. IMHO, we need a "100%
pure O'Caml" approach to XML. PXP seems to be the "way to
go", from this standpoint, for DOM models built through C or
C++ libraries would basically be "wrapped" in their glue
code and untouchable from O'Caml, while PXP builds native
O'Caml datastructures.

The "hard" approach, which anyone can take directly, is to
parse an XML file with PXP and put it through an O'Caml hard
written function to process it. I think the main drawback of
this approach is the need to compile and link an executable
for every "XSLT-equivalent" filter/processor one might want
to create.

A "soft" approach, which I would prefer, would be to
implement an XSLT processor in O'Caml, with the ability to
define "extension functions" on the run, directly in the
XSLT stylesheet, compile them into the processor dynamically
(as is done in the toplevels), and call them upon activation
of the template within which they appear.

Until something like this appears, I might chose to give up
working with XSLT altogether and stick with the "hard"
O'Caml way, but I think the O'Caml community should move in
the "soft" direction. As far as I can see there have been
several partial attempts at XML management in O'Caml, the
most relevant probably being PXP, but there has been no
unifying view or project guiding these efforts. Do you not
think XML has gained enough momentum for us to start an
official "XML/O'Caml" project to define and implement the
*official* O'Caml API for XML and XML-related technologies
such as XPath and XSLT?

I would be happy to volunteer for such a project, if anyone
else is interested in it, and if the some consensus is
reached among the community on the APIs that the
to-be-formed team should work on.

Alex


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

