I was merely giving an example that strong typing has nothing to do with having to write the types. (and, obviously, the inferred type (int -> int) is correct. )
No it’s not. It’s Optional[int] -> int at minimum. There are other completely valid signatures beyond that too.