Remix.run Logo
antonvs 4 days ago

> other concepts can be given a mathematical definition if someone wanted to formalize them.

There's really no comparison. Monads have a very small and simple definition. That's not true of either OOP or MVC. Formalizations of OOP do exist - they're complex and messy and mainly serve to demonstrate how poorly motivated classic OOP is.

charcircuit 4 days ago | parent [-]

>they're complex and messy

Ultimately they are expressed in code by either the compiler or a framework. If you just want a high level formalization I don't think it would be that complex or messy.