On Fri, Mar 26, 2010 at 11:21 PM, Brandon S. Allbery KF8NH wrote:

On Mar 26, 2010, at 16:28 , Mads Lindstrøm wrote:

...

For some time I have been thinking about an idea, which could limit Haskell's memory footprint. I don't know if the idea is crazy or clever,

This is called pointer tagging.  The original STG design avoided it because of the perceived performance loss in removing the tags before using the pointer, but as I understand it the current GHC design uses limited tagging.

I'd say it's really CDR coding -- http://en.wikipedia.org/wiki/CDR_coding -- pointer tagging is just a part of it. [Sorry, Brandon, my reply all button seems elusive these days] --Max