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 a

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.