In one of these 15-minute sessions, I figured out what they mean by "monad," which is indeed trivial. (Rota would call that "evidence.")
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”
-
and because (real) CT is sort of cool. So I feel I ought to figure it out, but don’t want to take the time, which is ridiculous,
- 1 more reply
New conversation -
-
-
category theory aside, you might look at Haskell as a stepping stone to Agda-style programming which is novel and mind-blowing
-
Yes, that is very different, although having done some theorem prover work I feel I understand it in principle
End of conversation
New conversation -
-
-
I think of Haskell as an ML dialect with laziness & tradition of type experimentation, which became unexpectedly practical
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
in Gothenburg academia, with long Haskell history, it's used as an implementation language for new cool stuff
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
like Agda... and Grammatical Framework, which I have a hunch is underrated; I'd like to use it somehowpic.twitter.com/UpkTr5Uwvs
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.