←back to thread

Notes on a Smaller Rust (2019)

(without.boats)
3 points uncircle | 1 comments | 18 Jul 25 13:03 UTC | HN request time: 0.828s | source
Show context
nickpsecurity ◴[18 Jul 25 14:07 UTC] No.44604802[source]▶
So, maybe add a few features to Zig and we'll have a Rust alternative for many use-cases?

For borrow checker, I still think a combo of static analysis and concurrent GC's could help. Pair a static analyzer, like Infer, with your code that doesn't borrow check. If it says it's safe, you're good to go. If part of it is safe, other parts get ref-counted or a concurrent GC by default until proven safe.

Users get benefits of all safe code in Rust. They can write their own code as fast as with a GC'd language with smaller-than-usual, performance costs. Anything proven safe by static analysis goes faster without the GC. What do you all think?

replies(2): >>44605503 #>>44615629 #
1. potato-peeler ◴[19 Jul 25 14:12 UTC] No.44615629[source]▶
> So, maybe add a few features to Zig and we'll have a Rust alternative for many use-cases?

Always wondered why can’t there be a new compiler for C itself which addresses its shortcomings? Cyclone tried to do that and it was successful. Rust itself took the same ideas from it.