A couple of questions:
-
I’m curious about your opinion about “Compiling without continuations” https://dl.acm.org/doi/pdf/10.1145/3062341.3062380 . Some body may think that continuations are unneeded complication comparately to direct approaches. What are the cases when CPS representation works better than conventional ones (=Haskell)?
-
Should CPS based representation help to optimize something like Manual CPS is faster than CPS monad. Is it expected? ? Or do we need to add purity inference CPS IR too?