>> 1. what’s the rationale for prohibiting `Final` in loops? I have a hunch this has to do with Python leaking scopes but not entirely sure. IIRC this is fine in Java.
>
>
> In some sense yes. The point is that Python cycles don't create a separate scope, they just live entirely in the enclosing scope.
>
Pyre diverges from the runtime here in that we don't allow variables
to escape the scope of conditionals and loops. Would appreciate it if
we could adapt the PEP to allow for that behavior.
That sounds like youre deviating from expected behavior of the interpreter, and if you disagree with the interpreter about this, you are welcome to also disagree with this PEP about placement of Final. IOW I don't think the PEP should endorse this deviation.