It also enforces dynamic type safety by doing runtime checks.

• 运行环境检查时，同样也是安全地执行动态类型。