Unsafe as a Human-Assisted Type System - discu.eu

Reddit

Blog Post: Unsafe as a Human-Assisted Type System https://matklad.github.io/2019/07/25/unsafe-as-a-type-system.html 32 comments 26/7/2019 rust

Linking pages

This Week in Rust 297 · This Week in Rust https://this-week-in-rust.org/blog/2019/07/30/this-week-in-rust-297/ 13 comments
Strengthening the Unsafe Ecosystem through Collaboration :: Sam Sieber https://samsieber.tech/posts/2019/07/strengthening-the-unsafe-ecosystem/ 13 comments

Linked pages

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:matklad.github.io

Search title: Unsafe as a Human-Assisted Type System

See how to search.

Submit link to: