List
Some of this was “covered” in previous writings (I’ll move this when prose), some of it is here for completeness.
-
SSA (maybe covered)
-
Basic Blocks (covered)
-
Generators/Yield functions (orig use cases)
-
Type inference
Notes
Most (prob all) of these can be found in diff impls (kt, sc, grv, …), but we NIH over here.
Complaint sidebar
-
I can’t see the fkking cursor in vscode. Kids these days…
-
How do you remap C+s and C+w in browser?
More notes
We can use cps instead of ssa
Found these (making no representation of fluency or understanding or readingness)
Compiling with Continuations, or without? Whatever. https://www.cs.purdue.edu/homes/rompf/papers/cong-icfp19.pdf
Contification Using Dominators https://www.cs.purdue.edu/homes/suresh/502-Fall2008/papers/contification.pdf