Re: Region-based memory management

Paul Rubin <http://phr.cx@[EMAIL
PROTECTED]
> writes:

> torbenm@[EMAIL PROTECTED]
 (Torben Ægidius Mogensen) writes:
>> The study administration system at the IT University in Copenhagen
>> (which has Mads Tofte as headmaster) is implemented in ML and runs on
>> the ML-kit.  It did that even before GC was added, so you can
>> certainly write significant programs that use regions exclusively.
>
> Does that impose a particular style?  What if you use functional data
> structures extensively?

I haven't seen the source code for the ITU administrative system, so I
can't really comment on its style.  But I have tried some small
examples on the ML-kit with regions (without GC) and found that
functional data structures are not a problem, but that you sometimes
have to make a deep copy of a result of a lengthy computation to put
it in another region than that of the now-dead intermediate values for
the computation, so the latter can be reclaimed.

	Torben