@bitemyapp monads are usually used *in place of* constructs that are non-local and create annoying global protocols.
@bitemyapp Nor is the answer limited to "they're useful for situations that are described by the math"
-
-
@wycats please stop with the math thing. You're othering when you do that. -
@wycats I have no undergraduate degree, no understanding of mathematics. It's just types/laws, which is just code. -
@bitemyapp Types and Laws are a kind of math, but I'm not othering. I say "math" with respect, a la https://terrytao.wordpress.com/career-advice/there%E2%80%99s-more-to-mathematics-than-rigour-and-proofs/ …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.