Alcance en bucles 'for' de Python

No estoy preguntando sobre las reglas de alcance de Python; En general, entiendo cómo funciona el alcance en Python para bucles. Mi pregunta es por qué las decisiones de diseño se tomaron de esta manera. Por ejemplo (sin juego de palabras):

for foo in xrange(10):
    bar = 2
print(foo, bar)

Lo anterior imprimirá (9,2).

Esto me parece extraño: 'foo' en realidad solo controla el bucle, y 'bar' se definió dentro del bucle. Puedo entender por qué podría ser necesario acceder a 'bar' fuera del bucle (de lo contrario, los bucles tendrían una funcionalidad muy limitada). Lo que no entiendo es por qué es necesario que la variable de control permanezca dentro del alcance después de que salga el bucle. En mi experiencia, simplemente abarrota el espacio de nombres global y hace que sea más difícil rastrear errores que los intérpretes podrían detectar en otros idiomas.

La respuesta más probable es que simplemente mantiene la gramática simple, no ha sido un obstáculo para la adopción, y muchos han estado contentos de no tener que desambiguar el alcance al que pertenece un nombre al asignarlo dentro de una construcción de bucle. Las variables no se declaran dentro de un alcance, está implícito en la ubicación de las declaraciones de asignación. La globalpalabra clave existe solo por este motivo (para indicar que la asignación se realiza en un ámbito global).

Actualizar

Aquí hay una buena discusión sobre el tema: http://mail.python.org/pipermail/python-ideas/2008-October/002109.html

Las propuestas previas para hacer que las variables del bucle for sean locales en el bucle han tropezado con el problema del código existente que depende de que la variable del bucle mantenga su valor después de salir del bucle, y parece que esto se considera una característica deseable.

En resumen, probablemente puedas echarle la culpa a la comunidad de Python: P

Python no tiene bloques, al igual que otros lenguajes (como C / C ++ o Java). Por lo tanto, la unidad de alcance en Python es una función.

Un caso realmente útil para esto es cuando se usa enumeratey desea el recuento total al final:

for count, x in enumerate(someiterator, start=1):
    dosomething(count, x)
print "I did something {0} times".format(count)

¿Es esto necesario? No. Pero seguro que es conveniente.

Otra cosa a tener en cuenta: en Python 2, las variables en las comprensiones de listas también se filtran:

>>> [x**2 for x in range(10)]
[0, 1, 4, 9, 16, 25, 36, 49, 64, 81]
>>> x
9

Pero, lo mismo no se aplica a Python 3.

Si tiene una declaración de interrupción en el ciclo (y desea usar el valor de iteración más tarde, tal vez para recuperar, indexar algo o dar estado), le ahorra una línea de código y una asignación, por lo que es conveniente.

Una de las principales influencias para Python es ABC , un lenguaje desarrollado en los Países Bajos para enseñar conceptos de programación a principiantes. El creador de Python, Guido van Rossum, trabajó en ABC durante varios años en la década de 1980. No sé casi nada sobre ABC, pero como está destinado a principiantes, supongo que debe tener un número limitado de ámbitos, al igual que los primeros BASIC.

Para empezar, si las variables fueran locales para los bucles, esos bucles serían inútiles para la mayoría de la programación del mundo real.

En la situación actual:

# Sum the values 0..9
total = 0
for foo in xrange(10):
    total = total + foo
print total

rendimientos 45. Ahora, considere cómo funciona la asignación en Python. Si las variables de bucle fueran estrictamente locales:

# Sum the values 0..9?
total = 0
for foo in xrange(10):
    # Create a new integer object with value "total + foo" and bind it to a new
    # loop-local variable named "total".
    total = total + foo
print total

cede 0, porque totaldentro del ciclo después de la asignación no es la misma variable que totalfuera del ciclo. Esto no sería un comportamiento óptimo o esperado.