Whilw there is a certain hype, Rust has affine types to prevent use after free, based on Cyclone type system, which AT&T was researching as C replacement, contrary to the list above.