category theory is excellent mathematics
useful in various areas of physics (if you're looking for proof of application)
why wouldn't it be useful in programming?
why wouldn't it be useful in programming?
Yeah, why would I use mathematics in programming.
A good argument for monads. Much better than the dishonest appeal to mathematics.
Yes, I definitely mentioned mathematicians, because they were the ones who showed us the problem solving methods, the modeling/design method.
I'm definitely agreeing that one uses practically none of the category theory in programming. But let's say that we can be influenced by the design of category theory, and get some theorems for free because of it.