>>294
いや、逐一型指定しても型推論（型単一化）は行われるよ。
キミさ、型推論の仕組みがわかった上で言ってるの？
型推論を実装したことある？