About once a week, I think "I really ought to verify that Haskell is trivial." But because it almost certainly is, it's worth 15 mins max.
Monads do seem to be the main “category theory” thing. I think they are probably dumb as a programming language thing, but not sure.
-
-
monads come out naturally; see JavaScript's Promise API which is almost exactly like "the IO monad". why dumb?
-
Ah, that’s a separate question, about pragmatic PL usability, and just a suspicion that would need to be addressed empirically.
- 5 more replies
New conversation -
-
-
I am much more confident that thinking about them in category theory terms is pointless obscurantism.
-
Although, actually, it’s probably not pointless; as in the
@Noahpinion piece@ArtirKel tweeted, point is barrier to entry.
End of conversation
New conversation -
-
-
this is a good place to start https://core.ac.uk/download/pdf/21173011.pdf …
- End of conversation
New conversation -
-
-
Yeah, it's completely opaque to me because I don't understand programming.
-
In this case, you haven’t missed anything.
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.