On Sat, Sep 05, 2009 at 06:16:53PM -0700, Taral wrote:

On Sat, Sep 5, 2009 at 6:10 PM, John Meacham wrote:

...

it is currently just a simple fixpoint calculation, though a type inference based version will perform better.

Ahem. Down this path lies linear regions and alias calculi. :)

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. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/