Pythonみたいに動的型言語に型アノテーションを追加する事が主流になるだろう
Union型は動的型だから出来る事で、完全に静的型にするとC++みたいになってしまう
動的型＋型アノテーションは良いとこ取りで、プロから初心者まで皆が満足出来る