los while...do La expresión se usa para realizar una ejecución iterativa mientras una condición de prueba especificada es verdadera.
Sintaxis
while test-expression do
body-expression
La expresión de prueba se evalúa primero; si es verdadero, la expresión corporal se ejecuta y la expresión de prueba se evalúa nuevamente. La expresión-cuerpo debe tener unidad de tipo, es decir, no debe devolver ningún valor. Si la expresión de prueba es falsa, la iteración finaliza.
Ejemplo
let mutable a = 10
while (a < 20) do
printfn "value of a: %d" a
a <- a + 1
Cuando compila y ejecuta el programa, produce el siguiente resultado:
value of a: 10
value of a: 11
value of a: 12
value of a: 13
value of a: 14
value of a: 15
value of a: 16
value of a: 17
value of a: 18
value of a: 19