>>976
>そもそもコンパイル時に型が決定できないのでコンパイルできない。

そんなのコンパイラが頑張ればいいだろ。