Imho as everywhere in this field there are tradeoffs to choose for improving this problem: Complexity (rust, formal proofs), runtime overhead (GC), etc.
Hare tries to be simple, so that it's easier to reason about the code and hence maybe find/avoid such bugs more easily.
Hare tries to be simple, so that it's easier to reason about the code and hence maybe find/avoid such bugs more easily.