I took a graduate course in category theory in 1983, long before computer scientists got hold of it. (From Gian-Carlo Rota, it happens.)
Ah, that’s a separate question, about pragmatic PL usability, and just a suspicion that would need to be addressed empirically.
-
-
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.
- 3 more replies
New conversation -
-
-
and I think there's a big lurking question about whether you can demand coders appreciate abstract math notions (...)
-
...or if the Haskell branch of PL is kind of doomed to be a special dork interest
- 2 more replies
New conversation -
-
-
I don't have a strong opinion, and I agree (as do many Haskellers) that typical ways of presenting the concept are unfortunate
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.