23.9 并集类型与动态类型