This is pretty close to Matz’s stance as well.

Personally, the argument for strong types is when you’re writing critical foreseeably permanent architecture. It’s an extra layer of security and explanation.

For me, a sensible use of types helps reducing cognitive load during development.

It also help with autocomplete and linting.