If you want to drill into trippy optimization stuff, check out futamura projections. They have been applied to great effect in different kinds of interpreters, parsers, even database query parsing https://www.cs.purdue.edu/homes/rompf/papers/tahboub-sigmod18.pdf …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
imho I'm a wee bit of a skeptic. I just don't understand how it could work for non-trivial examples, especially in the interesting cases for optimizations like LTO. (maybe people have done papers on that?)
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.