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.
-
-
Replying to @Meaningness
So I don't want to, like, READ A BOOK on Haskell or anything. Instead I google up someone's blog post, and get lost in "category theory."
1 reply 0 retweets 2 likes -
Replying to @Meaningness
I took a graduate course in category theory in 1983, long before computer scientists got hold of it. (From Gian-Carlo Rota, it happens.)
2 replies 0 retweets 4 likes -
Replying to @Meaningness
I suspect that when Haskellers say "category theory" they mean something else. But what?pic.twitter.com/99bDmuIhYt
2 replies 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
My very first ever twitter poll! This tweet storm was:
4 replies 0 retweets 0 likes
the only impact Haskell has on my life is that colonization by Haskell people keeps me from getting involved in Scala
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.