Go is verbose partly for that reason, but a silly loop is a silly loop. The constraints are clear, you only have to do the logic.
Python has gradual type system.
> (Mocking) Yes, that's why we should go back to Y with even worse static analysis.
Sure