动态类型语言中的分阶段标签表示

Question

任何人都可以在动态类型语言中表示类型信息时告诉我“分阶段标签”概念。