For this work we don't need a general purpose language like Rust.
WUFFS is a special purpose language for Wrangling Untrusted File Formats Safely:
WUFFS pays a high price (loss of generality) for a valuable reward (compile time assurance of memory safety, very high performance) and it makes no sense for people to hand roll this sort of software in C when they should use WUFFS.
Wow, WUFFS is amazing. I wonder if a hypothetical new/future general-purposes language could have a non-Turing-complete subset within it with WUFFS-like guarantees.
WUFFS is a special purpose language for Wrangling Untrusted File Formats Safely:
WUFFS pays a high price (loss of generality) for a valuable reward (compile time assurance of memory safety, very high performance) and it makes no sense for people to hand roll this sort of software in C when they should use WUFFS.
https://github.com/google/wuffs