2 ms·
I believe it is part of the gradual realization in the commercial software development community that object oriented programming is a dead end on one hand and
by orbifold 12y ago
I believe it is part of the gradual realization in the commercial software development community that object oriented programming is a dead end on one hand and the fact that category theory captures abstractly patterns of composition, which with enough reflection yield elegant and efficient software designs.
Trivial examples are things like Map-Reduce, the first step describes is done by applying a monoidal functor
T B -> T A,
the fact that the functor is monoidal allows for the work to be distributed across lots of nodes with no communication, the second step uses some associative algebra
T A -> A
to compute the final result, associativity allows for easily parallizable computation of subresults.
- im3w1l 12y agoI'd argue more people know that we can use parallelism when reducing with an associative binary operator, than understand what a monoidal functor is.