If the compiler can't optimize readable code, maybe our complicated algorithms have to be written twice—1) a slow version with readable abstractions, and 2) an unreadable one built for speed. If both are verified using the same tests, that's a weird form of executable docs.https://twitter.com/MarijnJH/status/1000302326949859329 …
-
-
Replying to @shaunlebron
Other option: write the readable version and write a compiler to translate it into the version built for speed. Advantage: you only have to write the compiler once for all your algorithms so you can spend some time proving the translation preserve meaning.
2 replies 0 retweets 2 likes
Replying to @benfle @shaunlebron
Common Lisp's compiler macros are also worth a look in this context
5:13 AM - 14 Jul 2018
0 replies
0 retweets
1 like
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.