githubに宣言に飛ぶ機能ついたら、github上のその機能が使えない言語の人気も落ちるかも＞＜
つまり型アノテーションが弱い(または全く無い)言語や環境やコードの人気が落ちてみんな型の名前ちゃんと書くようになるかも＞＜(妄想)