4 ms·

I don't know if they're bad at higher abstractions, or if the pay-off of a higher abstraction isn't always there (or is unclear). The original comment did a go

by closed 9y ago

I don't know if they're bad at higher abstractions, or if the pay-off of a higher abstraction isn't always there (or is unclear). The original comment did a good job of illustrating this. It's not clear from this post what category theory can do for a person programming with design patterns in mind (in other words, how will it change their behaviors?).

AstralStorm 9y ago
Unless you somehow teach people to actually run math proofs on the fly, it won't do any good either way if they start using mathematical descriptions since they will still "fake out" the math. It is like trying to teach calculus by showing baked approaches at solving integral equations. Just because you call a thing a Monoid does not mean it is one. Similar in how people use the design patterns in real life, except these do not demand clarity and of you partly misnamed it people are not confused.