This type system not only provides information for compiler optimization but also preserves the system flexibility resulting from dynamic binding.

这个类型系统不仅提供了编译优化信息，还保持了动态约束带来的系统灵活性。

youdao

This type system not only provides the information for compile optimization, but also preserves the system flexibility being due to the dynamic binding.

这个类型系统不仅提供了编译优化信息，还保持了动态联编带来的系统灵活性。

youdao