3 ms·
This is true of Rust as well. The Rust type system is just a formal verifier for memory safety which rejects most memory safe programs. Of course Rust will acce
by sudosysgen 4y ago
This is true of Rust as well. The Rust type system is just a formal verifier for memory safety which rejects most memory safe programs. Of course Rust will accept more memory safe programs than eBPF.
- tptacek 4y agoThe only thing Rust keeps you from implementing are trees. It's at least OK with loops! :)
- sudosysgen 4y agoThat's not really the point I'm trying to make. There are programs that are literally memory safe that don't compile, that may be using any data structure you can think of.
- saagarjha 4y agoRust is fine with trees, no? No cycles and all that. It's arbitrary graphs that are hard.