Let's say I have a programming language that allows procedures, i.e., methods without return values, and immutable data-structures, so no sideeffecting inside a procedure. Is it possible to simulate a program written in a language with return values in our language?
In other words, do return values allow for a more advanced model of computation? I guess it may be possible with Continuation-passing style, but i would appreciate other thoughts on this.
