3 ms·
But we haven't proven that a type system is the place to track memory safety. Suppose we could have an automated memory safety bug report checker that isn't in
by throwawaymaths 2y ago
But we haven't proven that a type system is the place to track memory safety. Suppose we could have an automated memory safety bug report checker that isn't in the type system?