<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	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/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Conal Elliott &#187; example</title>
	<atom:link href="http://conal.net/blog/tag/example/feed" rel="self" type="application/rss+xml" />
	<link>http://conal.net/blog</link>
	<description>Inspirations &#38; experiments, mainly about denotative/functional programming in Haskell</description>
	<lastBuildDate>Thu, 25 Jul 2019 18:15:11 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=4.1.17</generator>
	<atom:link rel="payment" title="Flattr this!" href="https://flattr.com/submit/auto?user_id=conal&amp;popout=1&amp;url=http%3A%2F%2Fconal.net%2Fblog%2F&amp;language=en_US&amp;category=text&amp;title=Conal+Elliott&amp;description=Inspirations+%26amp%3B+experiments%2C+mainly+about+denotative%2Ffunctional+programming+in+Haskell&amp;tags=blog" type="text/html" />
	<item>
		<title>separating IO from logic &#8212; example</title>
		<link>http://conal.net/blog/posts/separating-io-from-logic-example</link>
		<comments>http://conal.net/blog/posts/separating-io-from-logic-example#comments</comments>
		<pubDate>Tue, 13 Feb 2007 02:04:00 +0000</pubDate>
		<dc:creator><![CDATA[Conal]]></dc:creator>
				<category><![CDATA[Functional programming]]></category>
		<category><![CDATA[example]]></category>
		<category><![CDATA[IO]]></category>
		<category><![CDATA[modularity]]></category>
		<category><![CDATA[TV]]></category>

		<guid isPermaLink="false">http://conal.net/blog/posts/separating-io-from-logic-example/</guid>
		<description><![CDATA[This post is a teaser for an article in my TiddlyWiki-based journal. The article illustrates an approach to separating logic and IO using the TV library. The TV approach clarifies the pure logic part and the IO part and is more conveniently composable than the mixed logic/IO formulation. I&#8217;ve just released TV-0.2, which omits GUI [&#8230;]]]></description>
				<content:encoded><![CDATA[<p>This post is a teaser for an article in my TiddlyWiki-based journal.  The article illustrates an approach to separating logic and IO using the <a target="_blank" title="External link to  http://haskell.org/haskellwiki/TV" href="http://haskell.org/haskellwiki/TV" class="externalLink">TV</a> library. The TV approach clarifies the pure logic part and the IO part and is more conveniently composable than the mixed logic/IO formulation.</p>

<p>I&#8217;ve just released TV-0.2, which omits GUI functionality.  That functionality is now present in the small new package <a target="_blank" title="External link to  http://haskell.org/haskellwiki/GuiTV" href="http://haskell.org/haskellwiki/GuiTV" class="externalLink">GuiTV</a>.  The reason for this split is that the GUI support depends on <a target="_blank" title="External link to  http://wxhaskell.sourceforge.net" href="http://wxhaskell.sourceforge.net/" class="externalLink">wxHaskell</a>, which currently can be difficult to install.  Only TV (not GuiTV) is needed for this example.</p>

<p>See <a target="_blank" title="External link to  http://journal.conal.net/#%5B%5Bseparating%20IO%20from%20logic%20--%20example%5D%5D" href="http://journal.conal.net/#%5B%5Bseparating%20IO%20from%20logic%20--%20example%5D%5D" class="externalLink">the article here</a>.</p>

<p><span style="font-weight: bold;">Edit of Feb 13</span>: If you tried the TiddlyWiki article in Opera and got an error, please try again.  Problem fixed.  (Slight difference in regexp handling in Opera vs FF &amp; IE.)</p>

<p><span style="font-weight: bold;">Edit of March 5</span>: This article was inspired by an example in Don Stewart&#8217;s &#8220;<a href="http://www.cse.unsw.edu.au/%7Edons/blog/2006/12/16#programming-haskell-intro">Programming Haskell</a>&#8221; post.</p>
<p><a href="http://conal.net/blog/?flattrss_redirect&amp;id=31&amp;md5=e1b447b334de0e50963eb2613fabab23"><img src="http://conal.net/blog/wp-content/plugins/flattr/img/flattr-badge-white.png" srcset="http://conal.net/blog/wp-content/plugins/flattr/img/flattr-badge-white.png, http://conal.net/blog/wp-content/plugins/flattr/img/flattr-badge-white@2x.png 2xhttp://conal.net/blog/wp-content/plugins/flattr/img/flattr-badge-white.png, http://conal.net/blog/wp-content/plugins/flattr/img/flattr-badge-white@3x.png 3x" alt="Flattr this!"/></a></p>]]></content:encoded>
			<wfw:commentRss>http://conal.net/blog/posts/separating-io-from-logic-example/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		<atom:link rel="payment" title="Flattr this!" href="https://flattr.com/submit/auto?user_id=conal&amp;popout=1&amp;url=http%3A%2F%2Fconal.net%2Fblog%2Fposts%2Fseparating-io-from-logic-example&amp;language=en_GB&amp;category=text&amp;title=separating+IO+from+logic+%26%238212%3B+example&amp;description=This+post+is+a+teaser+for+an+article+in+my+TiddlyWiki-based+journal.+The+article+illustrates+an+approach+to+separating+logic+and+IO+using+the+TV+library.+The+TV+approach+clarifies...&amp;tags=example%2CIO%2Cmodularity%2CTV%2Cblog" type="text/html" />
	</item>
	</channel>
</rss>
