A well-defined type system should, by enforcing a number of type declaration and compatibility rules, guarantee the run-time type safety of the systems it accepts.

• 一个定义明确的类型体系应该是,通过强制实行大量的类型声明和兼容性规则,确保它所接受的系统运行时类型安全。