>>238
コンパイラだけが型推論を実装すればいいって
書いてるの読めませんか?
文盲ですか?