This post seems related to the authors of MPS (1) that seems to be a general garbage-collector to use with various languages. Many GC'd languages really didn't

This post seems related to the authors of MPS (1) that seems to be a general garbage-collector to use with various languages. Many GC'd languages really didn't bother with stack-allocating variable-size entities, and regardless of if they did then _precicely_ scanning the stack would be complicated without compiler help. If the compiler doesn't leave any info to the GC, then it can't know if it's scanning a pointer or a float and if your GC strategy relies on compacting memory (ie moving objects) then trying to guess between a float or a pointer can become fatal. (1) https://github.com/Ravenbrook/mps https://github.com/Ravenbrook/mps