人間が書かなくてもコンパイラが自分で型を判断すればいいとか。 コンパイラが発達してそれが当たり前になったら型アノテーションがある言語は時代遅れになるとか。 まあ、動的型を...