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.
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
-
Partial evaluation is conceptually trivial (if you understand lazy evaluation), but I’m not sure how I would use it in practice.
- 6 more replies
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.