> Is it really that painful to write "String" each time? I find it more painful to read code that has too many type annotations. I also find it painful to read

> Is it really that painful to write "String" each time? I find it more painful to read code that has too many type annotations. I also find it painful to read code that has too few, so I'd argue there's a bit of an art to it. But languages that have type inference but allow type annotations at least allow you to try to hit that balance.