Aug. 16, 2012
2:18 p.m.
On 2012-08-16, at 16:17, Marcus Denker <marcus.denker@inria.fr> wrote:
On Aug 16, 2012, at 4:05 PM, Fernando Olivero <fernando.olivero@usi.ch> wrote:
NICE! I would say lets go for it, 120MB is nothing nowadays. The IDE could be simplied and be more powerful.
it kind of changes quite drasitically what you can do concerning behavioral reflection...
As for space, compression should solve that quite nicely.
or we simply build the cache lazily and flush it on image save for now. This scheme works pretty well and is dead simple to implement :P