#immutability #let #loops #expression #macro

loop-let

An immutable loop structure that can be used as an expression

1 unstable release

0.1.0 Sep 27, 2024

#768 in Rust patterns

Custom license

11KB
74 lines

loop let

This crate provides a macro for a new control flow mechanism in Rust proposal loop let. Which is a immutable loop pattern that is meant for tail call recursive algorithms earning tail call optimization for free.

This crate provides the loop_let! macro that implements the loop let pattern. The syntax is as follows:

loop_let!((pattern) = (initial); {
   // code ...
});

loop_let!(fails (pattern) = (initial); {
  // code ...
});

The pattern is the pattern that will be matched against the input. The initial is the initial value of the input. The code block is the code that will be executed in every iteration of loop. It's important to notice that the code block must return either a Continue or a Break.

Continue is used to set the input value for the next iteration of the loop. Break is used to break the loop and return the value.

The fails keyword is used before the pattern when using fallible patterns. This way, the loop breaks once the pattern fails. By using the fails keyword, the loop_let macro will return () (this means you can only use Break(())). So it can't be used as an expression.

Why?

The main purpose of this crate is to encourage the utilization of tail call recursive algorithms in Rust rather than the traditional recursion which relies on the compiler to optimize the code.

Some other earnings of using the loop let pattern in comparison to other tail call recursive approaches are:

  • Support for pattern matching (even fallible patterns)
  • Loops as an expression
  • Avoids the need for mut
  • Avoids the need of tail call optimization at the compiler level
  • Increased readability

This pattern is used in Clojure with the loop/recur pattern where a loop might return a value or call itself with new arguments.

This is a proposal for a new control flow mechanism in Rust as a language construct loop let.

// Proposed syntax (no need for `fails` keyword)
loop let (pattern) = (initial) {
    // ...
    continue (new_input); // New syntax for continue
    // ...
    break (result);
}

Example

fn fibo() {
    // Calculates the 6th fibonacci number in a tail call recursive way
    let fib = loop_let!((n, curr, next) = (6, 0, 1); {
        if n == 0 {
            Break(curr)
        } else {
            Continue((n - 1, next, curr + next))
        }
    });

    assert_eq!(fib, 8);
}

License

MIT

Contributing

Any suggestions are welcome, just open a new issue describing your suggestion. After some discussion if you were encouraged to continue you might just fork this repository, create a new branch do your modifications and then open a Pull Request

No runtime deps