3 ms·
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.
by toolslive 1y ago
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. )
- Izkata 1y agoOnly if reveal_type only accepts an int. Just because the default value of i is 0 doesn't mean anything about what could be passed in.
- toolslive 1y agonot my fault python is broken.
- jsjohnst 1y ago> 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.