Category Theory for Programmers (2014)

This article reminds me of a couple of things. 1. Wasn't Feynman the one who was promoting replacing classical mechanics with relativity for freshman physics? How has that turned out? 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'm probably not getting that quite right. But, Fuzzy Logic was called the "cocaine of math" and yet the Japanese have done quite well in…

I like the first lesson (http://bartoszmilewski.com/2014/11/04/category-the-essence-o...). There are some neat challenge problems. It turns out Python does an excellent job of dealing with them: > Implement, as best as you can, the identity function in your favorite language (or the second favorite, if your favorite language happens to be Haskell). def identity(x): return x > Implement the composition function in your favorite language. It takes two functions as arguments and returns a function that is their…

Looking forward to it. There's this notion that "programming is math", and all the universities cram math down CS student's throats. Some even have the nerve to make classes called things like "Calculus for Computer Science" Do any of these programs or classes make any sort of effort to explain math in Computer Science terms? Has the professor of "Calculus for Computer Science" ever even written a line of code in his life? Of course not. Hopefully we can get…

This has been posted before: In 2017: https://news.ycombinator.com/item?id=14026360 In 2015 after release: https://news.ycombinator.com/item?id=9459520 Very useful book.