6 Sep
2009
6 Sep
'09
7:13 a.m.
On Sat, Sep 5, 2009 at 6:38 PM, John Meacham
Actually, a linear type system was going to be my next addition, not only to avoid updates, but to free memory in producer-consumer style code. Do you have any good references on this? I have read a lot of different papers, but have not decided which flavor to implement yet.
http://lambda-the-ultimate.org/node/3581 is my favorite intro of the
state of the art as of 2007. There's not a huge amount of progress
since...
--
Taral