A blog post titled "Haskell 'category theory' for people who know category theory and/or PL theory" would be a public service...
-
-
Replying to @Meaningness
But surely the easiest way to prove Haskell trivial is to prove category theory is trivial, and derive it as a corollary!
1 reply 0 retweets 3 likes -
Replying to @St_Rev
Well, yes, exactly, category theory pretty much *is* trivial, which is part of why I figure Haskell probably is.
1 reply 0 retweets 0 likes -
Replying to @Meaningness @St_Rev
It keeps nagging at me, though, so I keep getting sucked in to wasting another 15 minutes without actually finding out.
1 reply 0 retweets 0 likes -
Replying to @Meaningness @St_Rev
Monads do seem to be the main “category theory” thing. I think they are probably dumb as a programming language thing, but not sure.
4 replies 0 retweets 0 likes -
Replying to @Meaningness
monads come out naturally; see JavaScript's Promise API which is almost exactly like "the IO monad". why dumb?
1 reply 0 retweets 0 likes -
Replying to @meekaale
Ah, that’s a separate question, about pragmatic PL usability, and just a suspicion that would need to be addressed empirically.
3 replies 0 retweets 0 likes -
Replying to @Meaningness
and I think there's a big lurking question about whether you can demand coders appreciate abstract math notions (...)
1 reply 0 retweets 0 likes -
Replying to @meekaale @Meaningness
...or if the Haskell branch of PL is kind of doomed to be a special dork interest
1 reply 0 retweets 0 likes -
Replying to @meekaale @Meaningness
(but I also think special dork stuff is nice and valuable, and that advocacy about "which language is generally best" is lame)
1 reply 0 retweets 0 likes
yes, well said! My interest in Haskell is strictly dorky; I’m unlikely to use it in practice. Although who knows…
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.