En programación, un bucle es un tipo de estructura de control que permite repetir una o más sentencias múltiples veces.

Los bucles son una evolución del JUMP en el lenguaje ensamblador o GOTO en los lenguajes de alto nivel.

Los bucles más generales en los lenguajes de programación son WHILE, FOR y REPEAT (estructuras de repetición).

Todos los bucles se ejecutan mientras se cumpla una determinada condición (ver condición simple o condición compuesta), o sea, mientras esa condición sea verdadera, el bucle seguirá ejecutándose.

En la mayoría de los lenguajes de programación, los bucles también pueden "escaparse" o "romperse", a pesar de que la condición siga siendo verdadera. Es otra forma de salir de la ejecución de un bucle. El uso de este tipo de funciones de escape, es considerada impropia e innecesaria por los programadores más puristas, pues siempre se puede salir de un bucle utilizando la condición. En el caso de que salir sea complicado o imposible, significa que se eligió mal el tipo de bucle. Desde un punto de vista práctico, muchas veces es más fácil emplear alguna función de escape del bucle.

Si hay algún error en el código, el bucle podría ejecutarse una y otra vez, entrando en un bucle infinito. Un bucle infinito se considera un error de programación, a menos que ese sea el resultado esperado por el programador (generalmente usado en programas malignos/molestos, para que se repita una acción una y otra vez).