Es la sentencia de bucle más sencilla, y sin embargo es tremendamente potente.
La sentencia es ejecutada repetidamente mientras la condición sea verdadera.

Si no se especifica condición se asume que es "true", y el bucle se ejecutará indefinidamente.
Si la primera vez que se evalúa la condición resulta falsa, la sentencia no se ejecutará ninguna vez.

Aquí vemos el uso de una sentencia nula, que comentamos anteriormente.