feed.rss

<rss version="2.0"><channel><title>Functorial Blog</title><link>https://blog.functorial.com/feed.rss</link><description>A blog about functional programming</description><docs>http://www.rssboard.org/rss-specification</docs><language>English</language><copyright>&#169; Phil Freeman 2010-2021</copyright><webMaster>freeman.phil@gmail.com</webMaster><item><title>Counterexamples of Type Classes, Interactive!</title><link>https://blog.functorial.com/posts/2021-10-29-Counterexamples-Interactive.html</link><pubDate>Fri, 29 Oct 2021 00:00:00 UTC</pubDate></item><item><title>Incrementally Improving The DOM</title><link>https://blog.functorial.com/posts/2018-04-08-Incrementally-Improving-The-DOM.html</link><pubDate>Sun,  8 Apr 2018 00:00:00 UTC</pubDate></item><item><title>You Might Not Need The Virtual DOM</title><link>https://blog.functorial.com/posts/2018-03-12-You-Might-Not-Need-The-Virtual-DOM.html</link><pubDate>Mon, 12 Mar 2018 00:00:00 UTC</pubDate></item><item><title>Extensible Coeffects</title><link>https://blog.functorial.com/posts/2018-02-11-Extensible-Coeffects.html</link><pubDate>Sun, 11 Feb 2018 00:00:00 UTC</pubDate></item><item><title>Co Finds a Pairing</title><link>https://blog.functorial.com/posts/2017-12-10-Co-Finds-A-Pairing.html</link><pubDate>Sun, 10 Dec 2017 00:00:00 UTC</pubDate></item><item><title>The Game of Pattern Matching</title><link>https://blog.functorial.com/posts/2017-10-28-The-Game-Of-Pattern-Matching.html</link><pubDate>Sat, 28 Oct 2017 00:00:00 UTC</pubDate></item><item><title>Comonads for Optionality</title><link>https://blog.functorial.com/posts/2017-10-28-Comonads-For-Optionality.html</link><pubDate>Sat, 28 Oct 2017 00:00:00 UTC</pubDate></item><item><title>Higher-order Abstract Syntax for Cartesian Closed Categories</title><link>https://blog.functorial.com/posts/2017-10-08-HOAS-CCCs.html</link><pubDate>Sun,  8 Oct 2017 00:00:00 UTC</pubDate></item><item><title>Why You Should Use PureScript</title><link>https://blog.functorial.com/posts/2017-08-09-Why-You-Should-Use-PureScript.html</link><pubDate>Wed,  9 Aug 2017 00:00:00 UTC</pubDate></item><item><title>Embedding Linear Lambda Calculus, Quickly and Easily</title><link>https://blog.functorial.com/posts/2017-08-05-Embedding-Linear-Lambda-Calculus.html</link><pubDate>Sat,  5 Aug 2017 00:00:00 UTC</pubDate></item><item><title>Equalizers of Comonads</title><link>https://blog.functorial.com/posts/2017-07-13-Equalizers-of-Comonads.html</link><pubDate>Thu, 13 Jul 2017 00:00:00 UTC</pubDate></item><item><title>FreeAp is a Comonad</title><link>https://blog.functorial.com/posts/2017-07-01-FreeAp-Is-A-Comonad.html</link><pubDate>Sat,  1 Jul 2017 00:00:00 UTC</pubDate></item><item><title>Stack-Safe Traversals via Dissection</title><link>https://blog.functorial.com/posts/2017-06-18-Stack-Safe-Traversals-via-Dissection.html</link><pubDate>Sun, 18 Jun 2017 00:00:00 UTC</pubDate></item><item><title>Comonads and Day Convolution</title><link>https://blog.functorial.com/posts/2016-08-08-Comonad-And-Day-Convolution.html</link><pubDate>Mon,  8 Aug 2016 00:00:00 UTC</pubDate></item><item><title>Comonads as Spaces</title><link>https://blog.functorial.com/posts/2016-08-07-Comonads-As-Spaces.html</link><pubDate>Sun,  7 Aug 2016 00:00:00 UTC</pubDate></item><item><title>Announcing PureScript 0.8</title><link>https://blog.functorial.com/posts/2016-01-31-PureScript-0.8.html</link><pubDate>Sun, 31 Jan 2016 00:00:00 UTC</pubDate></item><item><title>Counterexamples of Type Classes</title><link>https://blog.functorial.com/posts/2015-12-06-Counterexamples.html</link><pubDate>Sun,  6 Dec 2015 00:00:00 UTC</pubDate></item><item><title>Building a Task List Application with Thermite</title><link>https://blog.functorial.com/posts/2015-11-20-Thermite.html</link><pubDate>Fri, 20 Nov 2015 00:00:00 UTC</pubDate></item><item><title>Stackless Coroutines in PureScript</title><link>https://blog.functorial.com/posts/2015-07-31-Stackless-PureScript.html</link><pubDate>Fri, 31 Jul 2015 00:00:00 UTC</pubDate></item><item><title>Pretty Printing Arrows</title><link>https://blog.functorial.com/posts/2013-10-27-Pretty-Printing-Arrows.html</link><pubDate>Sun, 27 Oct 2013 00:00:00 UTC</pubDate></item><item><title>Teaching Haskell To Juggle</title><link>https://blog.functorial.com/posts/2013-05-23-Teaching-Haskell-To-Juggle.html</link><pubDate>Sat, 25 May 2013 00:00:00 UTC</pubDate></item><item><title>A Typed Markup Language Based On Haskell</title><link>https://blog.functorial.com/posts/2013-05-18-Typed-Markup-Language.html</link><pubDate>Sat, 18 May 2013 00:00:00 UTC</pubDate></item><item><title>One-Hole Contexts Generalize Diff To Containers</title><link>https://blog.functorial.com/posts/2012-12-21-One-Hole-Contexts-Generalize-Diff-To-Containers.html</link><pubDate>Fri, 21 Dec 2012 00:00:00 UTC</pubDate></item><item><title>Testing Random Properties With Type Classes</title><link>https://blog.functorial.com/posts/2012-08-04-Testing-Random-Properties-With-Type-Classes.html</link><pubDate>Sat,  4 Aug 2012 00:00:00 UTC</pubDate></item><item><title>What Makes the Free Monad Free?</title><link>https://blog.functorial.com/posts/2012-07-22-What-Makes-The-Free-Monad-Free.html</link><pubDate>Sun, 22 Jul 2012 00:00:00 UTC</pubDate></item><item><title>Haskell On Azure</title><link>https://blog.functorial.com/posts/2012-04-29-Haskell-On-Azure.html</link><pubDate>Sun, 29 Apr 2012 00:00:00 UTC</pubDate></item><item><title>Abstraction Elimination For Linear Lambda Terms</title><link>https://blog.functorial.com/posts/2012-02-21-Abstraction-Elimination-For-Linear-Lambda-Terms.html</link><pubDate>Tue, 21 Feb 2012 00:00:00 UTC</pubDate></item><item><title>What if Haskell had (co)-equalizers?</title><link>https://blog.functorial.com/posts/2012-02-19-What-If-Haskell-Had-Equalizers.html</link><pubDate>Sun, 19 Feb 2012 00:00:00 UTC</pubDate></item><item><title>Typing Linear Lambda Terms</title><link>https://blog.functorial.com/posts/2012-02-12-Typing-Linear-Lambda-Terms.html</link><pubDate>Sun, 12 Feb 2012 00:00:00 UTC</pubDate></item><item><title>Doubly-Recursive Functions, Generically</title><link>https://blog.functorial.com/posts/2012-02-12-Doubly-Recursive-Functions-Generically.html</link><pubDate>Sun, 12 Feb 2012 00:00:00 UTC</pubDate></item><item><title>Solving Constraints Generically</title><link>https://blog.functorial.com/posts/2012-02-06-Solving-Constraints-Generically.html</link><pubDate>Mon,  6 Feb 2012 00:00:00 UTC</pubDate></item><item><title>Fun With PolyKinds: Polykinded Folds</title><link>https://blog.functorial.com/posts/2012-02-02-Polykinded-Folds.html</link><pubDate>Thu,  2 Feb 2012 00:00:00 UTC</pubDate></item><item><title>Enumerating Permutations</title><link>https://blog.functorial.com/posts/2011-12-28-Enumerating-Permutations.html</link><pubDate>Wed, 28 Dec 2011 00:00:00 UTC</pubDate></item></channel></rss>