4 ms·
Too late to edit the above, but this reminded me of the infamous in-joke about category theory use in Haskell: "A monad is a monoid in the category of endofunc
by jhayward 8y ago
Too late to edit the above, but this reminded me of the infamous in-joke about category theory use in Haskell: "A monad is a monoid in the category of endofunctors. What's the problem?" [1]
[1] https://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html https://james-iry.blogspot.com/2009/05/brief-incomplete-and-...
- new4thaccount 8y agoThey interviewed one of the Rust main guys for Linux Format a few years ago. I think he said the exact same thing lol. On another note, I think I just met someone with both a power systems and functional programming background today. Small world :).