Sophisticated ownership type system. • Safe encapsulation of unsafe code. Goal of RustBelt project: Build first formal foundations for the Rust language!
確定! 回上一頁