22.6 案例研究2：预测动态类型化语言中的类型