3 ms·
Compiling to Rust is a really interesting proposition, because it means the resulting program has the same safe-without-gc properties as native Rust programs.
by haberman 12y ago
Compiling to Rust is a really interesting proposition, because it means the resulting program has the same safe-without-gc properties as native Rust programs.
- quotemstr 12y agoUnless it transmutes pointers and uses unsafe blocks, of course. One of Rust's most important features is that you can do things like that. Hell, the stdlib even has longjmp.
- tomjakubowski 12y agoReally? Where's the longjmp function?
- quotemstr 12y agoErr, I think I was mistaken.
- alkonaut 12y agoSurely it just does that, otherwise it would be dropping all the cognitive overhead of lifetime management that we pay (happily) in Rust, without losing safety? If that was possible you'd think it was already in the Rust specs...