例として、xとyを足す関数f(x,y)を仮定すると、コンパイラは加算は数値のみに定義されているのでxとyは共に数値であると推論できる。
例如，给定一个函式f（x,y），它将x和y加起来，编译器可以推断出x和y必须是数字——因为加法仅定义给数字。