[KingMachiavelli]

I think mandatory type hints in method signatures and optional type hints at assignment are a good compromise.

But if I had to pick either a language without any type hint/inference or a verbosely strictly typed language - I would must rather use the strictly typed language.