The runtime also enforces code robustness by implementing a strict type-and-code-verification infrastructure called the common type system (CTS).

• 运行库还通过实现称为通用类型系统(CTS)的严格类型验证和代码验证基础结构来加强代码可靠性。