> why would want to write SAFE software in a language without formal spec? A formal spec just means someone took the time and effort to write one down. A form

> why would want to write SAFE software in a language without formal spec? A formal spec just means someone took the time and effort to write one down. A formal declaration that a language makes no attempt at preventing memory safety is not safer than an informal declaration that a language is memory safe.