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.
FWIW, category-theory-for-mathematicians as I learned it in 1983 is also basically trivial. Useful as a definitional framework,
-
-
but there are very few theorems, so it doesn’t have a lot of bite. It’s just too general. I did enjoy it a lot, though!
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.