Hot take: compiler optimizations should be written in the language itself.
-
Show this thread
-
Hot take: compilation should be written in the language itself.
1 reply 0 retweets 3 likesShow this thread -
I’m not talking about just bootstrapping the compiler. If my target is LLVM IR, I should write import LLVR main = LLVM.compile program
1 reply 0 retweets 2 likesShow this thread -
Replying to @gregstevens
compile is a function from a DSL to machine code instead of binding named main, I’d rather we pretend it was a module, and the output of this function application is the default export
2 replies 0 retweets 0 likes -
Replying to @JadenGeller @gregstevens
You might be interested in my thesis on First-Class Implementations https://j.mp/FarePhD
1 reply 0 retweets 1 like
No official detailed publication, though I gave talks at various smaller venues: BostonHaskell, LispNYC, and more recently POPL's OBT workshop, and LambdaConf.
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.
Read my blog!