I'm hoping I can convince you to expand on what you mean by > Heterogeneous Environments
The first question can be answered perhaps best with a video : <https://www.youtube.com/watch?v=ctS8FzqcRug> and then the question is , how to represent it in a type system. (modelling existential types specifically) > The latter I'm thinking is a reference to the work being done on CPS. Can you > elaborate how that breaks the let/var distinction? I'm not super familiar > with the CPS transform, but I don't immediately see why it must break > anything inherently. For the latter, I have to write some text, lets see..
