『人間が読む時に追わなきゃいけない部分』が減るってものすごいメリットだと思うんだけど、世の中 型推論ブームだし、それを大きなメリットだと思って無い人の方が圧倒的多数っぽいの、つらい＞＜
（明示的に書いて、書く手間よりも読む手間を減らそうよ・・・＞＜）