Practical Memory Safety

Recently: Zig is considering a safe, Fil-C -like compilation target. Fil-C is a &ldquo;memory safe implementation of C&rdquo;, and the Zig issue claims this will be &ldquo;truly memory safe&rdquo;. This is presented as &ldquo;unlike Rust&rdquo; because Rust has escape hatches a.k.a. Unsafe Rust . But it turns out Fil-C&rsquo;s definition of memory safety is different from Rust&rsquo;s. So maybe…