Haskell (and any other GC language) has big runtime requirements that rust does not. It's not just about the ABI. Your argument does apply to Ada, but freeing

Haskell (and any other GC language) has big runtime requirements that rust does not. It's not just about the ABI. Your argument does apply to Ada, but freeing from the heap in Ada is unsafe, which has made it difficult to use in a safe way for a lot of cases. Rust really does make an advance in this regard: safety, and no significant runtime requirements. D and modern C++ might work for disciplined teams, but seem a few steps behind rust safety-wise.