|
|
|
|
|
|
by closeneough
1510 days ago
|
|
|
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. |
|
|