class的符号信息，这些符号可以不在在虚拟机或者可执行程序中保存，如果保存了这些信息，可以让我们的语言更加灵活，如实现运行时的类加载，类自省等能力比如JAVA。不保存这些信息的有C/C++(c++有typeinfo不知道算不算）。 Norminal和Structural的类型系统，感觉Structural的类型系统更加灵活动态性更好，在编程上C++的模板机制也能提供像Structural的类型系统的能力，即所谓的鸭子类型。