Toward a more approachable Rust
Toward a more approachable Rust
Posted Mar 3, 2017 18:48 UTC (Fri) by Cyberax (✭ supporter ✭, #52523)In reply to: Toward a more approachable Rust by mathstuf
Parent article: Toward a more approachable Rust
> I suggest you look at some of the lower libraries like Rayon which has (I believe) just a handful of unsafe bits.
There's also RustBelt that attempts to prove correctness of the unsafe bits if they are encapsulated correctly.
There's also RustBelt that attempts to prove correctness of the unsafe bits if they are encapsulated correctly.