I suspect that when Haskellers say "category theory" they mean something else. But what?pic.twitter.com/99bDmuIhYt
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
My real question is whether there’s an interesting CT connection that I ought to understand.
If not, I think I understand everything about Haskell in principle—though that is very different from pragmatic use understanding.
Haskell is intriguing because it’s the only thing that’s happened since I did PL theory that isn’t “Lisp with Algol notation”
I've just skimmed Moggi's original paper on monads for functional programming https://core.ac.uk/download/files/145/21173011.pdf … and it seems neat :)
Aha! Thanks!
I don't understand CT, but it's cool that an old algebraic concept fits onto "notions of computation" with practical use
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.