4.3.2 在类型系统之外跟踪类型