News for hackers. Stuff that matters.
Re:Will Hare replace C? Or Rust? Or Zig? Or anything else? by mikepurvis on Tuesday May 03, 2022 @09:42AM (#31248189)
> Java, or Haskell, or Python

These are all GC'd languages that run bytecode on an abstract virtual machine. They avoid use-after-free by just not-freeing, if necessary at the cost of leaking unbounded amounts of memory.

This doesn't invalidate the point that borrowing isn't the only way to solve this problem, but there are definitely classes of these bugs for which Rust's borrow checker is the only known production-ready solution that still has manual, deterministic memory management.

Re:Will Hare replace C? Or Rust? Or Zig? Or anything else? by 4ad on Tuesday May 03, 2022 @10:27AM (#31248746)
Your point about GC stands, but I will note that Haskell is a compiled language.
Re:Will Hare replace C? Or Rust? Or Zig? Or anything else? by eatonphil on Tuesday May 03, 2022 @01:25PM (#31250954)
And Go and native-image (GraalVM Java compiler) and Poly/ML (on x86) and MLton and OCaml (on x86) and Chicken Scheme and SBCL (and ECL).