[Haskell-cafe] Master's thesis topic sought

Stefan Holdermans stefan at cs.uu.nl
Thu Nov 5 17:36:04 EST 2009


> As for concrete suggestions... I've always thought we could do more  
> to use static information about the program to aid runtime GC. It's  
> no deep secret that destructive updates are essentially like a  
> compile-time / coding-time GC operation. You determine before  
> runtime that the old version of the data will never be needed again,  
> and hence update it in-place. Making this kind of thing more  
> automatic could be interesting theoretically and practically.

[Warning: shameless plug follows.]

Have you had a look at our 2008 PEPM paper?

   Jurriaan Hage and Stefan Holdermans. Heap recyling for lazy  
   In John Hatcliff, Robert Glück, and Oege de Moor, editors,  
   of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and  
   Based Program Manipulation, PEPM 2008, San Francisco, California,  
   January 7–8, 2008, pages 189–197. ACM Press, 2008.


As far as automatic detection of opportunities for in-place updates is  
concerned, the Clean compiler seems to do some interesting things.


I am not quite sure whether the details (a formal semantics, for  
example) have ever been published. I would be very much interested in  
such a description myself, actually, so if someone knows of any...



More information about the Haskell-Cafe mailing list