Mostly I was making fun of my own arrogance. The underlying question is: are there ideas here I need to know?
-
-
-
The two that I’m not sure of, from having done programming language theory 30 years ago, are partial evaluation and “category th
- 7 more replies
New conversation -
-
-
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."
-
I took a graduate course in category theory in 1983, long before computer scientists got hold of it. (From Gian-Carlo Rota, it happens.)
- 15 more replies
New conversation -
-
-
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!
End of conversation
New conversation -
-
-
Thanks! Yes, it seems that’s where the good stuff lives, and I’ll look harder there.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
but I also appreciate the jouissance of learning math stuff that sounds cool and getting to use jargon
-
Thanks, that’s very sensible!
End of conversation
New conversation -
-
-
I try to remember that lots of irritating people on the internet are probably precocious 12 year olds just like I was
-
I still seem to be one!
End of conversation
New conversation -
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.