Control flow

if: statement and expression

if cond { println("yes"); } else if other { println("no"); } else { println("?"); }

let r: i32 = if cond { 1 } else { 2 };

The condition must be bool. if 1 { ... } is a type error: there is no truthiness.

while

let mut x: i32 = 0;
while x < 10 { x = x +% 1; }

for: ranges and the C-style form

// Range. 0..n is exclusive; 0..=n is inclusive.
for i in 0..10 { println(i); }

// C-style, with init / cond / step.
for (let mut i: i32 = 0; i < 10; i = i +% 1) {
    println(i);
}

Arrays are not directly iterable; iterate by index:

let arr: [i32; 4] = [10, 20, 30, 40];
for i in 0..4 {
    println(arr[i as usize]);
}

Iterator values from a gen fn and from the stdlib iterator adapters also work in for ... in.

loop / break / continue

let mut n: i32 = 0;
loop {
    if n == 5 { break; }
    if n % 2 == 0 { n = n +% 1; continue; }
    println(n);
    n = n +% 1;
}

while let

Match-binds each iteration and exits when the pattern fails (see Pattern matching):

while let Option[i32]::Some(v) = next() {
    println(v);
}