I took a graduate course in category theory in 1983, long before computer scientists got hold of it. (From Gian-Carlo Rota, it happens.)
-
-
Replying to @Meaningness
I suspect that when Haskellers say "category theory" they mean something else. But what?pic.twitter.com/99bDmuIhYt
1 reply 1 retweet 3 likes -
Replying to @Meaningness
In one of these 15-minute sessions, I figured out what they mean by "monad," which is indeed trivial. (Rota would call that "evidence.")
1 reply 0 retweets 1 like -
Replying to @Meaningness
I'm torn between this being an obvious waste of time and a faint sense of intellectual honesty: "Well, if it ISN'T trivial, I should know."
1 reply 0 retweets 1 like -
Replying to @Meaningness
A blog post titled "Haskell 'category theory' for people who know category theory and/or PL theory" would be a public service...
8 replies 0 retweets 0 likes -
Replying to @Meaningness
And whether or not one finds such use of category theory useful, it hardly makes *Haskell* "trivial" as a functional PL. /3
1 reply 0 retweets 1 like -
Replying to @StephenPiment
Yes! To get a sense of Haskell as a PL, I’d have to write a large program in it.
1 reply 0 retweets 0 likes -
Replying to @Meaningness @StephenPiment
Am quite curious about how partial evaluation would be useful in practice, for instance.
1 reply 0 retweets 0 likes -
Replying to @Meaningness @StephenPiment
This is quite separate from the CT connection, which I get bugged by whenever I read about it.
1 reply 0 retweets 0 likes -
Replying to @Meaningness
One can learn and use Haskell effectively with near-zero knowledge of CT.
1 reply 0 retweets 0 likes
I have the opposite problem 
-
-
Replying to @Meaningness
It needn't be a problem! You'll just find Haskell a better approximation to what is mathematically natural than most other PLs.
0 replies 0 retweets 0 likesThanks. 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.