Function disciplines (pure, async, task)

Function modifiers declare constraints and concurrency behavior:

• pure fn for side-effect-free functions (checker-enforced subset)
• async fn for promise-producing functions
• task fn for task-producing functions
• const fn for compile-time-evaluable functions (see const functions)

Full reference: function disciplines.

Examples#

pure fn add (x: int, y: int) -> int {
  return x + y;
}

task fn worker (x: int) -> int {
  return x + 1;
}

See also#

• Full reference: function disciplines
• Concurrency: concurrency