@cfbolz @wingo Tangential, but one of the tricky things I sometimes think about is how to reconcile tail-call optimisation with debuggability. Do you have a take?
E.g. with tail recursion, even supposing you can reconstruct the stack depth and locals from ambient other state, it's not expressible within DWARF to 'synthesise n frames, computed like so'... and it'd probably be a misfeature even if it were. What should happen?
Sibling tail-call opt is even trickier... I often tell it to -f off.