Re:Category Theory for Programmers (2014)
by redtuesday on Tuesday April 04, 2017 @04:02AM
(#14030469)
There is a amusing video from Runar Bjarnason about the GoF book, the Interpreter Pattern and functional programming (Free Monad): https://www.youtube.com/watch?v=hmX2s3pe_qk
To me, the main value in learning FP CT is becoming handy at recognizing more of the patterns underlying the code I've been writing and working on for ages.
Consider the GoF Design Patterns book -- if you haven't been programming very long, many of the patterns might look odd or needless, but the more code you work on, the more you start to recognize the patterns as applied in real life.
Category theory for programming is like that, plus with some added formalism that proves how it's safe/possible to compose these patterns.