>>856
ドヤ顔で解説してるが、お前の中での型推論の定義と、現代世間一般の型推論の定義がズレてる
同じ理由でBASICの動的型のことを型推論と呼ぶ定義もあるだろうよ