[taki_mekhalfa]

This is true for all typed languages though..

[Zababa]

No, type inference avoids this issue.

[yencabulator]

Which Go has. https://go.dev/ref/spec#Type_inference

(Not to a level something like Typescript has it, but I'll argue that's a win. Typescript inferred typing can be hard to follow.)