6 Sep
2009
6 Sep
'09
1:43 a.m.
On Sat, Sep 5, 2009 at 6:38 PM, John Meacham<john@repetae.net> wrote:
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 <taralx@gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown