<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-11295132.post6010042989223542838..comments</id><updated>2009-10-17T18:55:35.005-07:00</updated><category term='category theory'/><category term='lawvere theories'/><category term='astronomy'/><category term='optimisation'/><category term='self-reference'/><category term='comonads'/><category term='haskell'/><category term='programming'/><category term='monad'/><category term='mathematics'/><category term='physics'/><category term='probability'/><category term='types'/><category term='quantum'/><title type='text'>Comments on A Neighborhood of Infinity: The Interchange Law</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.sigfpe.com/feeds/6010042989223542838/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/05/interchange-law.html'/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>3</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-11295132.post-4415428757026845668</id><published>2009-10-17T18:47:57.810-07:00</published><updated>2009-10-17T18:47:57.810-07:00</updated><title type='text'>Whether you think you know the subject well enough...</title><content type='html'>Whether you think you know the subject well enough or not, I&amp;#39;d like to second the idea of a book. There&amp;#39;s been a furor of late over on Reddit about the impenetrability of most books on category theory (due mostly to the jargon and lack of examples). And here at Indiana Uni some folks are working on teaching undergrads about monads without using the scary M word. So there&amp;#39;s definitely an audience out there for CT in English.&lt;br /&gt;&lt;br /&gt;As someone who knows a fair deal of CT, I&amp;#39;ve always found your posts a delight to read and the concrete examples really help for making the higher concepts make sense in the world of day-to-day programming. And after trying to teach friends CT by examples rather than by definitions for the past couple years, it&amp;#39;d be nice to have a book to direct folks to. Heck, I&amp;#39;d even be willing to help write such a thing if need be.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default/4415428757026845668'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default/4415428757026845668'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/05/interchange-law.html?showComment=1255830477810#c4415428757026845668' title=''/><author><name>wren</name><uri>http://www.blogger.com/profile/05766067924472271354</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/05/interchange-law.html' ref='tag:blogger.com,1999:blog-11295132.post-6010042989223542838' source='http://www.blogger.com/feeds/11295132/posts/default/6010042989223542838' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-299905260'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-5113108837259539955</id><published>2008-07-08T08:16:00.000-07:00</published><updated>2008-07-08T08:16:00.000-07:00</updated><title type='text'>I'm not convinced I know the subject well enough. ...</title><content type='html'>I'm not convinced I know the subject well enough. And anyway, I never manage to complete papers, let alone an entire book! Not without giving up my day job anyway.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default/5113108837259539955'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default/5113108837259539955'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/05/interchange-law.html?showComment=1215530160000#c5113108837259539955' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/05/interchange-law.html' ref='tag:blogger.com,1999:blog-11295132.post-6010042989223542838' source='http://www.blogger.com/feeds/11295132/posts/default/6010042989223542838' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-5188187111080483275</id><published>2008-05-22T03:16:00.000-07:00</published><updated>2008-05-22T03:16:00.000-07:00</updated><title type='text'>I guess this is something you get asked a lot...bu...</title><content type='html'>I guess this is something you get asked a lot...but I'll add my voice to the throng anyway.  Are you going to write a book on categories and functional programming?  Thanks to your blog it will enjoy the unusual status of being a classic before even having been written.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default/5188187111080483275'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/6010042989223542838/comments/default/5188187111080483275'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/05/interchange-law.html?showComment=1211451360000#c5188187111080483275' title=''/><author><name>Roly Perera</name><uri>http://www.blogger.com/profile/10168144731270158487</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/05/interchange-law.html' ref='tag:blogger.com,1999:blog-11295132.post-6010042989223542838' source='http://www.blogger.com/feeds/11295132/posts/default/6010042989223542838' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1233208844'/></entry></feed>
