> What I'm referring to here is the same futures method under the hood but transparent to the user. CPS transforming the entire program is possible in theory,

> What I'm referring to here is the same futures method under the hood but transparent to the user. CPS transforming the entire program is possible in theory, but if you want the same zero-cost behavior you will run into the same issues I outlined elsewhere: higher order control flow analysis will be necessary, and it will fall down a lot.