@wycats I'm doing my best to read generously for a more productive conversation.
@bitemyapp The answer is not "they're useful for all the places they're useful for, and we use them all the time"
-
-
@wycats I think I understand the problem now.pic.twitter.com/ObkmGfRejs
-
@wycats the problem is that you're struggling with the fact that an abstract interface has no specific "meaning" or application. -
@bitemyapp Abstract interfaces are useful when they can be applied. -
@wycats I just got done showing you a bunch of applications, so what are you trying to say? -
@bitemyapp you're way too obsessed with whether people "truly understand" -
@wycats Don't think I'd be 912 pages into a book for learning Haskell, or spent the last couple years teaching Haskell if I wasn't. -
@bitemyapp understanding is not binary -
@wycats c'mon. Be nice. You know I know that. You're better than that. - 20 more replies
New conversation -
-
-
@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.