[scope] `for` iteration scope about kuroko HOT 3 CLOSED

But in Kuroko I can use let to declare a local variable inside of for loop - which is great ;-)

from kuroko.

This capturing behavior is a tricky one. The scope of the implicitly declared loop variable is the loop as a whole, rather than an individual iteration of the body, so while the variable's scope does not extend after the loop as it would with the function scoping in Python, it does still exhibit the same capturing behavior where each iteration sees the same final variable rather than unique instances.

The reason for this specific scoping decision is that it more closely matches for-loop declarations in languages like C99 (which Kuroko's scoping rules are generally modeled on), and in fact Kuroko has 'legacy' support for C-style for loops in addition to the for ... in ... loops, which demonstrates the mapping pretty well:

for i=0; i<10; i++:
   print(i)

(Those might go away at some point, though, so please don't use them - I don't think they're any faster than in range(...) anyway...)

As you note, because we can force a new local in the body, we can provide different captured variables to the lambda in each iteration by forcing an extra assignment - a bit ugly, but quite useful! There's an instance of this in the documentation generator - instead of unpacking in the for, the unpack is done in the body to ensure separately-captured locals in lambdas.

Meshing Python's syntax with block scoping has been a challenge, and Kuroko definitely has some unfortunate quirks like this because of it, but sometimes those quirks have hidden benefits.

from kuroko.

Thank you very much.

from kuroko.