-
-
Replying to @bitemyapp
@bitemyapp and what is the benefit of writing that code in a monadic style as opposed to the non-monadic style?1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp "I know I need some monad but not which" is question-begging.1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@bitemyapp It's question-begging because the question is 'what are monads useful for'1 reply 0 retweets 0 likes -
Replying to @wycats
@bitemyapp The answer is not "they're useful for all the places they're useful for, and we use them all the time"2 replies 0 retweets 0 likes -
Replying to @wycats
@bitemyapp Nor is the answer limited to "they're useful for situations that are described by the math"1 reply 0 retweets 0 likes -
Replying to @bitemyapp
@wycats I have no undergraduate degree, no understanding of mathematics. It's just types/laws, which is just code.1 reply 0 retweets 0 likes
@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/ …
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.