<story><title>Category Theory for Programmers (2014)</title><url>https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/</url></story><parent_chain></parent_chain><comment><author>mybrid</author><text>This article reminds me of a couple of things.&lt;p&gt;1. Wasn&amp;#x27;t Feynman the one who was promoting replacing classical mechanics with relativity for freshman physics? How has that turned out?&lt;p&gt;2. Fuzzy logic makes a similar argument. Bart Kowasaki down in San Diego I believed proved mathematically that fuzzy logic equates Calculus and Nyquist equations. I&amp;#x27;m probably not getting that quite right. But, Fuzzy Logic was called the &amp;quot;cocaine of math&amp;quot; and yet the Japanese have done quite well in using fuzzy math in software and manufacturing. The arguments put forth here about why every developer should learn category theory smack of the same arguments that have been made about Fuzzy logic and why fuzzy math should be taught in elementary school. I personally like and use fuzzy logic for programming but wide spread adoption of fuzzy logic  never took hold. From what I&amp;#x27;ve read of Category Theory, Fuzzy Logic seems to have a better argument as a programming shift because Fuzzy is a lot less abstract. Just start with a bunch of if statements that approximate the math.</text></comment>
<story><title>Category Theory for Programmers (2014)</title><url>https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/</url></story><parent_chain></parent_chain><comment><author>socmag</author><text>My manager dropped a bomb on me about 20 years ago as a young engineer and had me be a liaison with some of the people doing research on the Pi calculus.&lt;p&gt;Still somewhat shaken to this day by that very first meeting, it really didn&amp;#x27;t go that well.&lt;p&gt;I really don&amp;#x27;t grok the math behind it and it is very nice to see this pop up, and Bartosz definitely knows his stuff.  I&amp;#x27;ll give it another whirl. Hats off to him for trying to make it approachable.&lt;p&gt;Also Brian Beckman and others have often had interesting things to say in these areas.&lt;p&gt;&lt;a href=&quot;http:&amp;#x2F;&amp;#x2F;rebcabin.github.io&amp;#x2F;blog&amp;#x2F;2013&amp;#x2F;03&amp;#x2F;17&amp;#x2F;category-theory-reveals-value-of-autoiconicity&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;http:&amp;#x2F;&amp;#x2F;rebcabin.github.io&amp;#x2F;blog&amp;#x2F;2013&amp;#x2F;03&amp;#x2F;17&amp;#x2F;category-theory-re...&lt;/a&gt;&lt;p&gt;These days I understand the formal math behind it even less than I used to, which is to say abysmally; however it did teach me some things about how to think about composition that have subconsciously been influential I think over the years.&lt;p&gt;Nice post.</text></comment>