<?xml version="1.0" encoding="UTF-8" ?>
<?xml-stylesheet type="text/xsl" href="http://blogs.msdn.com/utility/FeedStylesheets/rss.xsl" media="screen"?><rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:slash="http://purl.org/rss/1.0/modules/slash/" xmlns:wfw="http://wellformedweb.org/CommentAPI/"><channel><title>Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx</link><description>How often do you write code that just works? It seems to happen so rarely that I find myself suspicious if code does just work. When was the last time that you wrote a non-trivial program that had no compile errors on the first try and then ran fine as</description><dc:language>en-US</dc:language><generator>Telligent Evolution Platform Developer Build (Build: 5.6.50428.7875)</generator><item><title>MVC, Desktop Clients, &amp; WPF</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#2095161</link><pubDate>Thu, 12 Apr 2007 06:55:52 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:2095161</guid><dc:creator>Christopher Bennage</dc:creator><description>&lt;p&gt;I've spent the majority of my career as a Web developer, and I've only recently (with the discovery of&lt;/p&gt;
&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=2095161" width="1" height="1"&gt;</description></item><item><title>re: Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1831441</link><pubDate>Thu, 08 Mar 2007 02:25:27 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1831441</guid><dc:creator>wesdyer</dc:creator><description>&lt;p&gt;I was told that it would be fairly difficult to organize such a site; however, I was also told that we'd be happy to host articles and provide links to FP related things on the C# site. &amp;nbsp;You can contact Charlie Calvert if you have something. &amp;nbsp;His blog is at: &lt;a rel="nofollow" target="_new" href="http://blogs.msdn.com/charlie"&gt;http://blogs.msdn.com/charlie&lt;/a&gt;.&lt;/p&gt;
&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1831441" width="1" height="1"&gt;</description></item><item><title>re: Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1828926</link><pubDate>Wed, 07 Mar 2007 19:29:37 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1828926</guid><dc:creator>wesdyer</dc:creator><description>&lt;p&gt;Joost:&lt;/p&gt;
&lt;p&gt;You can't do that today, but I'd love to add support for that.&lt;/p&gt;
&lt;p&gt;Tom:&lt;/p&gt;
&lt;p&gt;I forwarded your request on to the people who could organize that. &amp;nbsp;Thanks for the suggestion.&lt;/p&gt;
&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1828926" width="1" height="1"&gt;</description></item><item><title>re: Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1827451</link><pubDate>Wed, 07 Mar 2007 15:58:20 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1827451</guid><dc:creator>Joost Morsink</dc:creator><description>&lt;p&gt;Tom: I agree :)&lt;/p&gt;&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1827451" width="1" height="1"&gt;</description></item><item><title>Would MS consider hosting a FP Community site?</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1825123</link><pubDate>Wed, 07 Mar 2007 09:14:01 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1825123</guid><dc:creator>Tom Kirby-Green</dc:creator><description>&lt;p&gt;Wes,&lt;/p&gt;
&lt;p&gt;Would Microsoft consider hosting a FP community site? It seems clear that there's a real interest and hunger in the community for this stuff. The responses to your own posts show that the existing FP community has a considerable body of experience and insight to offer and are now coming out of the woodwork given the tentative steps C# 3 is making in this direction.&lt;/p&gt;
&lt;p&gt;What I'm suggesting is some central place where we can hang out, with links to your blog, HubFS, Lambda The Ultimate etc, Iron Python. The remit would be FP on .NET. &lt;/p&gt;
&lt;p&gt;Perhaps a sub-section of Channel 9, but I was really thinking of something like Coding For Fun in terms of having its own identity.&lt;/p&gt;
&lt;p&gt;Would Microsoft consider putting some resource behind this?&lt;/p&gt;
&lt;p&gt;Kind regards,&lt;/p&gt;
&lt;p&gt;tom&lt;/p&gt;
&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1825123" width="1" height="1"&gt;</description></item><item><title>Quicksort in C#, Ruby, Haskell e LINQ</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1825018</link><pubDate>Wed, 07 Mar 2007 08:53:47 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1825018</guid><dc:creator>Il Blog di Antonio Cangiano</dc:creator><description>&lt;p&gt;Il sottotitolo di questo blog ora appare come Pensieri eretici nel mondo .NET . Ho deciso di rinominarlo&lt;/p&gt;
&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1825018" width="1" height="1"&gt;</description></item><item><title>re: Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1815580</link><pubDate>Tue, 06 Mar 2007 12:17:53 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1815580</guid><dc:creator>Joost Morsink</dc:creator><description>&lt;p&gt;Yeah type classes, that's exactly what I want. Too bad it isn;t going to be in the next release. I guess I'd better head back to Reflection :). But seriously I could write some interface transformer extension methods. In my example like:&lt;/p&gt;
&lt;p&gt;static IMonad&amp;lt;A&amp;gt; ToMonad(this IList&amp;lt;A&amp;gt; l);&lt;/p&gt;
&lt;p&gt;which brings me to my next question: Can I implement a preferably implicit, but otherwise explicit cast/conversion operator as an extension method, so when coding, it does look like it has the new type, but it really doesn't? &lt;/p&gt;
&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1815580" width="1" height="1"&gt;</description></item><item><title>re: Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1813227</link><pubDate>Tue, 06 Mar 2007 03:05:27 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1813227</guid><dc:creator>Sadek Drobi</dc:creator><description>&lt;p&gt;But you do visit arguments, so why to visit arguments and not paramters, anyway thats not a big deal as i can override the methods.&lt;/p&gt;
&lt;p&gt;I would really like to revisit all the everyday's patterns and think about them in an immutable implementation, maybe it will work for some, i like the new horizon a mixed language like c# offers.&lt;/p&gt;
&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1813227" width="1" height="1"&gt;</description></item><item><title>re: Immutability, Purity, and Referential Transparency</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1812534</link><pubDate>Tue, 06 Mar 2007 01:16:09 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1812534</guid><dc:creator>wesdyer</dc:creator><description>&lt;p&gt;Sadek:&lt;/p&gt;
&lt;p&gt;1. &amp;nbsp;We don't visit the parameters because they are not part of the body of the lambda.&lt;/p&gt;
&lt;p&gt;2. &amp;nbsp;We wanted to expose it, but we were very short on resources so this feature was cut. &amp;nbsp;We may expose it in a sample.&lt;/p&gt;
&lt;div style="clear:both;"&gt;&lt;/div&gt;&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1812534" width="1" height="1"&gt;</description></item><item><title>The Essence Of Good Code</title><link>http://blogs.msdn.com/b/wesdyer/archive/2007/03/01/immutability-purity-and-referential-transparency.aspx#1812051</link><pubDate>Mon, 05 Mar 2007 23:32:09 GMT</pubDate><guid isPermaLink="false">91d46819-8472-40ad-a661-2c78acb4018c:1812051</guid><dc:creator>DonXml's All Things Techie</dc:creator><description>&lt;p&gt;In my recent Syntactic Sugar presentation I was trying to get to the essence of good code, and come up&lt;/p&gt;
&lt;img src="http://blogs.msdn.com/aggbug.aspx?PostID=1812051" width="1" height="1"&gt;</description></item></channel></rss>