Code is a formal language, and can be partially (or rarely fully) verified by a typing system. There is no equivalent in natural language.