「玩具語言的型別推理原則」修訂間的差異