[trimistermota]

Very few of those languages are used in certified code.

[steveklabnik]

And yet, a version of rustc is well on its way to being certified. Standardization is not required for certification.