统一型别系统提供类型

• Box and into the appropriate storage location. This type system unification provides value classes with the benefits of Object-ness