4 ms·
The combination of static safety gracefully degrading to runtime safety where not provable is interesting to me
by n42 2mo ago
The combination of static safety gracefully degrading to runtime safety where not provable is interesting to me
- LoganDark 2mo agoThis is sort of already possible in Rust when you use safe primitives (e.g., RefCell), but it doesn't cover unsafe code invoking Undefined Behavior. Placing something like Fil-C around unsafe code could prove to be interesting, especially since current approaches rely on interpretation (Miri, Soteria Rust) rather than translation.