On: Experience report on a large Python-to-Go translat...

[rob74]

Small nitpick: in a statically typed language, you don't have "type annotations", since an annotation is usually optional. If you're talking about a function declaration, I think it's called a parameter declaration?

[dpratt71 → rob74]

Small nitpick: some statically typed programming languages have optional type annotations.

[mappu → rob74]

You're right, that is the word I was looking for.