Hallo,
On Mon, Nov 14, 2011 at 8:16 PM, Mikael mikael.rcv@gmail.com wrote:
In compiled code, the box object *is* necessary due to the use of assignment conversion for the correct implementation of closures.
If you feel like describing this (use of assignment conversion for the correct implementation of closures) concept a bit, please feel free to do so.
http://www.cs.indiana.edu/~dyb/pubs/3imp.pdf
Enjoy! :)