>
> Several systems can work this way: Felix and Haskell both
> have continuations, which seem to be the pre-requisite.
> MLton may also cope with this.
>
> The Ocaml computational model doesn't provide the required
> resources natively, although of course they could be implemented
> in Ocaml .. but then you would be programming with, for example,
> suitable monadic combinators, rather than arbitrary raw Ocaml code.


It is not a completely impractical idea to just write everything in CPS. At
least, it's been done before :-)