El interés es interesante

Un bucle es una estructura de control que permite ejecutar código repetidamente en función de una condición dada.

Bucles while

Un bucle while es una estructura de control que permite ejecutar código repetidamente en función de una condición dada. El código dentro de un bucle while se seguirá ejecutando mientras la condición se evalúe como verdadera. Los bucles while se suelen usar cuando el número de iteraciones se desconoce de antemano, y sirven para cualquier situación en la que se necesite un bucle.

La condición se evalúa antes de que se ejecute el código dentro del bucle, lo que significa que, si la condición es falsa, el código del bucle no se ejecutará nunca.

i = 0
while i < 3
  puts i
  i += 1
end

# Output:
# 0
# 1
# 2

Cuando quieras iterar sobre un string, puedes recorrer su longitud con un bucle.

str = "Hello"
i = 0
while i < str.size
  puts str[i]
  i += 1
end

# Output:
# H
# e
# l
# l
# o

Bucles until

Los bucles until funcionan igual que los bucles while, salvo que el código dentro del bucle se seguirá ejecutando hasta que la condición se evalúe como verdadera. Es la misma diferencia que hay entre if y unless.

i = 0
until i == 3
  puts i
  i += 1
end

Bucles infinitos

Un error habitual con los bucles while es entrar en un «bucle infinito», que nunca termina. Un bucle infinito puede deberse a que una condición nunca se evalúe como verdadera ni como falsa. A menudo se debe a un error del programador; por ejemplo, olvidarse de incrementar la variable del bucle. Pero a veces un bucle infinito es la forma más clara de implementar la lógica del programa. O es imprescindible repetir el bucle para siempre; por ejemplo, un servidor HTTP espera una conexión entrante, la atiende y luego espera la siguiente conexión.

break

La palabra clave break permite salir de un bucle antes de tiempo. Puede resultar útil cuando quieres salir de un bucle antes de tiempo bajo ciertas condiciones.

i = 0
while i <= 3
  puts i
  i += 1
  if i == 2
    break
  end
end

# Output:
# 0
# 1

next

La palabra clave next permite saltar a la siguiente iteración de un bucle. Puede resultar útil cuando quieres saltarte iteraciones concretas de un bucle.

i = 0
while i <= 3
  i += 1
  if i == 2
    next
  end
  puts i
end

# Output:
# 1
# 3

Tipos dentro de los bucles

El tipo de la variable puede ser distinto dentro de un bucle. En el siguiente ejemplo, el tipo de a es Int32 | String porque puede ser Int32 o String en la primera parte del bucle. La variable a solo tendrá el tipo Int32 | String en la primera parte del bucle, ya que cuando el bucle empieza contiene un Int32 y, en la segunda iteración, contiene un String. Este sistema de tipos múltiples se explicará en detalle más adelante. Pero como tenemos la seguridad de que la segunda parte del bucle solo contendrá String, el tipo de a es String en la segunda parte del bucle. En tiempo de ejecución, nunca contendrá Int32 y String a la vez.

i = 0
a = 4
while i < 3
  p typeof(a)
  # => Int32 | String
  a = "4"
  p typeof(a)
  # => String
  i += 1
end

En Crystal, la última expresión de un método devuelve su valor. Sin embargo, a veces necesitas devolver un valor antes de la última expresión. Para ello puedes usar la palabra clave return, que devuelve el valor de la expresión siguiente. El código escrito después de una palabra clave return no se ejecutará.

def speed_limit(road_number)
    if road_number == 1
        return 50
        puts "This will not be executed"
    elsif road_number == 2
        return 80
        puts "This will not be executed"
    end
    100
end

p speed_limit(1) # => 50
p speed_limit(2) # => 80
p speed_limit(3) # => 100