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.
-
-
I suspect that when Haskellers say "category theory" they mean something else. But what?pic.twitter.com/99bDmuIhYt
-
In one of these 15-minute sessions, I figured out what they mean by "monad," which is indeed trivial. (Rota would call that "evidence.")
- 13 more replies
New conversation -
-
-
used to work with a guy who had a copy of category theory for the working mathematician
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.