TypeScriptの型推論があるから型を書かなくていいというのは目的と手段が逆転しているような危うさを感じる。...

TypeScriptの型推論があるから型を書かなくていいというのは目的と手段が逆転しているような危うさを感じる。型を書くことは型検査機への情報提供だから、原理的に型を書けば書くほどより型の恩恵を受けられる。 しかし面倒なのは確かなので、実際には人々は楽さと安全性のバランスを取っている。
https://twitter.com/uhyo_/status/1501778395092652033

同意。
明らかに自明な場合は書かなくても良いと思うが、何でもかんでも推論でやろうとするとあまりいいことない。