4 ms·
As a former pure mathematician turned software dev, I couldn’t agree more. The language and ideas of Category Theory are indispensable for doing modern algebrai
by kevinventullo 3y ago
As a former pure mathematician turned software dev, I couldn’t agree more. The language and ideas of Category Theory are indispensable for doing modern algebraic number theory, but I have yet to see a compelling example of Category Theory applied to software development.
- catgary 3y agoI think things like monads and linear/affine types have their place, and I actually quite like lenses in functional languages (even Jax uses them in disguise to safely modify arrays in-place). I don’t think string diagrams make it any easier to write out an ODE for modeling a physical process.
- kevinventullo 3y agoFair enough, I agree monads are an interesting way to think about things.