Yes, there is a case for when you need low-level data structures -- and he is why higher-level languages should have a good FFI. I do not think you need to burden the language itself with these issues.Heuristics: Well, he is what those compiler textbooks do not tell you: VMs and compilers are 90% heuristics.