5 ms·
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 programmi
by spooningtamarin 11y ago
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?
- deleted 11y ago[deleted]
- qcoh 11y agoIt's useful because it's a generic design pattern not because of the mathematics behind it (of which virtually nothing is actually used, at least in everyday programming).
- spooningtamarin 11y agoYeah, generic design pattern which is minimal, compact and simple. Yeah, why would I use mathematics in programming.
- qcoh 11y ago> Yeah, generic design pattern which is minimal, compact and simple. A good argument for monads. Much better than the dishonest appeal to mathematics.
- tome 11y agoI think you're reading more into spooningtamarin's posts than was actually there.
- spooningtamarin 11y agoReally? 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.