<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: XML Pattern Matching and Functional Programming</title>
	<atom:link href="http://kwarc.info/blog/2008/12/02/xml-pattern-matching-and-functional-programming/feed/" rel="self" type="application/rss+xml" />
	<link>http://kwarc.info/blog/2008/12/02/xml-pattern-matching-and-functional-programming/</link>
	<description>KWARC research group's blog</description>
	<lastBuildDate>Tue, 03 Nov 2009 11:03:14 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.9.1</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>By: Immanuel Normann</title>
		<link>http://kwarc.info/blog/2008/12/02/xml-pattern-matching-and-functional-programming/comment-page-1/#comment-547</link>
		<dc:creator>Immanuel Normann</dc:creator>
		<pubDate>Wed, 03 Dec 2008 15:52:16 +0000</pubDate>
		<guid isPermaLink="false">http://kwarc.info/blog/?p=842#comment-547</guid>
		<description>The Scheme XML tools in fact does not have a very active community.

Nonetheless, these tools work well. I used them once for a plugin to import OpenMath into TeXmacs. And you can use also your XPath inside these sxml tools - look, for instance, at Example 10:

(sxpath &quot;bib/book[@year &gt; 1993][position()&lt;=2]&quot;)

from the &lt;a href=&quot;http://modis.ispras.ru/Lizorkin/sxml-tutorial.html#hevea:sxpathlib&quot; rel=&quot;nofollow&quot;&gt;sxml tutorial&lt;/a&gt;
</description>
		<content:encoded><![CDATA[<p>The Scheme XML tools in fact does not have a very active community.</p>
<p>Nonetheless, these tools work well. I used them once for a plugin to import OpenMath into TeXmacs. And you can use also your XPath inside these sxml tools &#8211; look, for instance, at Example 10:</p>
<p>(sxpath &#8220;bib/book[@year > 1993][position()< =2]&#8220;)</p>
<p>from the <a href="http://modis.ispras.ru/Lizorkin/sxml-tutorial.html#hevea:sxpathlib" rel="nofollow">sxml tutorial</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Christoph</title>
		<link>http://kwarc.info/blog/2008/12/02/xml-pattern-matching-and-functional-programming/comment-page-1/#comment-546</link>
		<dc:creator>Christoph</dc:creator>
		<pubDate>Tue, 02 Dec 2008 20:52:04 +0000</pubDate>
		<guid isPermaLink="false">http://kwarc.info/blog/?p=842#comment-546</guid>
		<description>Yes, I just left our &quot;in XSLT&quot; in that sentence and didn&#039;t realize the ambiguity. Of course I know that actual functional languages are not awkward – they may just be awkward for pattern matching. Just compare: If I want to match an OMDoc theory in Scala, I have to write &quot;&lt;code&gt;(&lt;g&gt;theory) { _* } (/theory)&lt;/code&gt;&quot;, whereas in XPath I can simply write &quot;theory&quot; ;-) – replace (…) by angle brackets; WordPress doesn&#039;t allow them.

Thanks for the Scheme link! It doesn&#039;t really look like an active project, but I&#039;ve always liked the Lisp way of thinking.

OK, so you would recommend HXT – I&#039;ll have a look. Oh, I see, I&#039;ve had a look into that before and didn&#039;t read carefully enough. They do support an XPath-like shorthand notation for addressing nodes.

I think that Xcerpt is not suitable, because I want to do different things: no inference, but translation, and the translation in a slightly more complex way that Xcerpt would offer me for free.

Thanks!</description>
		<content:encoded><![CDATA[<p>Yes, I just left our &#8220;in XSLT&#8221; in that sentence and didn&#8217;t realize the ambiguity. Of course I know that actual functional languages are not awkward – they may just be awkward for pattern matching. Just compare: If I want to match an OMDoc theory in Scala, I have to write &#8220;<code>(<g>theory) { _* } (/theory)</g></code>&#8220;, whereas in XPath I can simply write &#8220;theory&#8221; <img src='http://kwarc.info/blog/wp-includes/images/smilies/icon_wink.gif' alt=';-)' class='wp-smiley' />  – replace (…) by angle brackets; WordPress doesn&#8217;t allow them.</p>
<p>Thanks for the Scheme link! It doesn&#8217;t really look like an active project, but I&#8217;ve always liked the Lisp way of thinking.</p>
<p>OK, so you would recommend HXT – I&#8217;ll have a look. Oh, I see, I&#8217;ve had a look into that before and didn&#8217;t read carefully enough. They do support an XPath-like shorthand notation for addressing nodes.</p>
<p>I think that Xcerpt is not suitable, because I want to do different things: no inference, but translation, and the translation in a slightly more complex way that Xcerpt would offer me for free.</p>
<p>Thanks!</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Immanuel Normann</title>
		<link>http://kwarc.info/blog/2008/12/02/xml-pattern-matching-and-functional-programming/comment-page-1/#comment-545</link>
		<dc:creator>Immanuel Normann</dc:creator>
		<pubDate>Tue, 02 Dec 2008 20:12:33 +0000</pubDate>
		<guid isPermaLink="false">http://kwarc.info/blog/?p=842#comment-545</guid>
		<description>I suppose you meant &quot;Functional programming is awkward but possible in *XSLT*&quot;. It is not awkward in (at least two) other functional programming languages.

I can recommend the Scheme XML tools (http://modis.ispras.ru/Lizorkin/sxml-tutorial.html) or the Haskell XML Toolbox (HXT) (http://www.fh-wedel.de/~si/HXmlToolbox/).
You may consider also the deductive and rule-based query language for graph-structured data &quot;XCerpt&quot; which is build on top of HXT.</description>
		<content:encoded><![CDATA[<p>I suppose you meant &#8220;Functional programming is awkward but possible in *XSLT*&#8221;. It is not awkward in (at least two) other functional programming languages.</p>
<p>I can recommend the Scheme XML tools (<a href="http://modis.ispras.ru/Lizorkin/sxml-tutorial.html" rel="nofollow">http://modis.ispras.ru/Lizorkin/sxml-tutorial.html</a>) or the Haskell XML Toolbox (HXT) (<a href="http://www.fh-wedel.de/~si/HXmlToolbox/" rel="nofollow">http://www.fh-wedel.de/~si/HXmlToolbox/</a>).<br />
You may consider also the deductive and rule-based query language for graph-structured data &#8220;XCerpt&#8221; which is build on top of HXT.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
