[jhc] Frabjous Day: Jhc now has the beginnings of region support for stack allocations

[John Meacham]

On Sat, Sep 05, 2009 at 06:16:53PM -0700, Taral wrote:
> On Sat, Sep 5, 2009 at 6:10 PM, John Meacham<john at repetae.net> 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/