[Rusky]

It's only a burden to the extent that type annotations are a burden. It's definitely possible (including in Rust) to do away with both, but that has downsides of its own.

[jfkebwjsbx]

I am not saying you cannot write code without them, but that you cannot do away with them without losing what they bring.