2009/9/18 Alberto Bertogli <albertito@???>
> On Thu, Sep 17, 2009 at 11:56:38AM -0300, Claudio Freire wrote:
> > El problema de los while True y los breaks es que hacen el análisis de
> > correctitud y terminación por invariantes casi imposible.
>
> Que yo sepa, esto no es cierto.
>
Bue, capaz que exageré un poco.
Difícil.
Yo también reconozco a simple vista (gracias a mucha experiencia) y utilizo
construcciones como:
while True:
S1
if not C:
break
S2
Sólo comentaba por qué la gente las "deprecia": porque les enseñaron a no
usarlas. ¿y por qué les enseñan a no usarlas? Porque para una persona con
poca experiencia (en especial en demostraciones de correctitud), las
sentencias de terminación abrupta simplemente complican la cosa.
Un docente intenta llevar al alumno por caminos gradualmente más complejos -
permitirle el uso de "break" y "continue" sería hacerle dar saltos y tumbos,
en vez de ir paso a paso.
Pero nadie explica el por qué de la prohibición en detalle, y luego quedan
programadores experimentados con el taboo intacto, escribiendo código 10
veces más complicado sólo para evitar el "break".
(text/plain)