Why don't Haskell compilers facilitate deterministic memory management?

Question

With the wealth of type information available why can\'t Haskell runtimes avoid running GC to clean up? It should be possible to figure out all usages and insert appropriate cal

Answer 1

It's not easy to determine object lifetime with lazy evaluation. The JHC compiler does have (had?) region memory management which tries to release memory by deallocation when the lifetime is over.

I'm also curious exactly what you mean by deterministic memory management.