<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Haskell on stau.space</title><link>https://stau.space/tags/haskell/</link><description>Recent content in Haskell on stau.space</description><generator>Hugo</generator><language>en-US</language><managingEditor>sona@stau.space (Sona Tau Estrada Rivera)</managingEditor><webMaster>sona@stau.space (Sona Tau Estrada Rivera)</webMaster><lastBuildDate>Sat, 22 Aug 2026 19:58:03 -0400</lastBuildDate><atom:link href="https://stau.space/tags/haskell/index.xml" rel="self" type="application/rss+xml"/><item><title>Recursion Schemes</title><link>https://stau.space/posts/recursion-schemes/</link><pubDate>Sat, 22 Aug 2026 19:58:03 -0400</pubDate><author>sona@stau.space (Sona Tau Estrada Rivera)</author><guid>https://stau.space/posts/recursion-schemes/</guid><description>&lt;p&gt;A nice saturday morning, I&amp;rsquo;m drinking my tea browsing YouTube when a video pops up:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;a href="https://youtu.be/1iPWt1gvT_w"&gt;Rust and the price of ignoring theory&lt;/a&gt;.&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;Putting to the side that this is probably one of the most well-made commentaries about programming languages I&amp;rsquo;ve ever seen, he mentioned something which threw me into a rabbit hole for the rest of the day and I am now writing this at 7PM on that same Saturday.
I&amp;rsquo;m talking about hylomorphisms &amp;ndash; he talks about them at &lt;a href="https://youtu.be/1iPWt1gvT_w?t=387"&gt;6:26&lt;/a&gt; &amp;ndash; he defines them as follows:&lt;/p&gt;</description></item></channel></rss>