制御の流れ
分岐は if と match で書き、どちらも値を返す式です。for や while はないので、繰り返しは再帰か List.map や List.fold のような関数で書きます。
fn sum(xs: List[Int], acc: Int) -> Int { xs match { [] -> acc [x, ..rest] -> sum(rest, acc + x) # 末尾呼び出し }}
fn main() { dbg(sum(List.range(1, 10001), 0)) # 50005000}自分自身への末尾呼び出しはスタックを消費しないので、1万要素のリストをたどる再帰もループと同じように書けます。
error Invalid(input: String)
fn sign(n: Int) -> String { if n > 0 { "positive" } else if n < 0 { "negative" } else { "zero" }}
fn validate(input: String) -> String fails Invalid { if String.length(input) == 0 { fail Invalid(input:) } input}
fn main() { dbg(sign(-3)) # "negative" label = if 3 > 0 { "あり" } else { "なし" } dbg(label) # "あり" dbg(validate("ok") escape { Invalid(_) -> "?" }) # "ok"}条件を囲む括弧は要らず、本体の { } は省けません。条件に書けるのは Bool だけで、数値や Option は条件になりません。if が式なので、三項演算子（c ? a : b）の代わりに if c { a } else { b } と書きます。
else のない if は値を返さず、型は () です。validate の if ... { fail Invalid(input:) } のように、条件付きで抜けるときに使います。値として使うなら else が要ります。
fn main() { x = if True { 1 }}type mismatch: expected `()`, found `Int`&& と ||
Section titled “&& と ||”&& と || は左から評価し、結果が決まった時点で右辺を評価しません。
fn crash() -> Bool { panic("evaluated")}
fn main() { dbg(False && crash()) # False crash は呼ばれない dbg(True || crash()) # True}a && b は if a { b } else { False }、a || b は if a { True } else { b } と同じ意味です。否定は !x です。
リストを処理するときは、まず List の関数を使います。
type Item(name: String, price: Int)
fn main() { items = [Item(name: "pen", price: 120), Item(name: "book", price: 1500), Item(name: "cup", price: 800)]
names = List.map(items, fn(i) { i.name }) dbg(names) # ["pen", "book", "cup"]
cheap = List.filter(items, fn(i) { i.price < 1000 }) dbg(List.length(cheap)) # 2
total = List.fold(items, from: 0, f: fn(acc, i) { acc + i.price }) dbg(total) # 2420
dbg(List.any(items, fn(i) { i.price > 1000 })) # True dbg(List.range(0, 5)) # [0, 1, 2, 3, 4]}決まった回数の繰り返しは、List.range(from, to) で作ったリストに関数を当てるか、再帰で書きます。リストの関数の一覧は core のモジュール にあります。
fn count_down(n: Int, acc: List[Int]) -> List[Int] { if n == 0 { acc } else { count_down(n - 1, [n, ..acc]) }}
fn gcd(a: Int, b: Int) -> Int { if b == 0 { a } else { gcd(b, a % b) }}
fn main() { dbg(count_down(5, [])) # [1, 2, 3, 4, 5] dbg(gcd(48, 18)) # 6}関数は宣言の順序に関係なく、同じモジュールのほかの関数と自分自身を呼べます。
末尾呼び出し
Section titled “末尾呼び出し”自分自身への末尾呼び出しはすべてのターゲットでスタックを消費しません。suspend な操作を含む関数でも同じで、100万回の再帰でもスタックはあふれません。
fn count(n: Int, acc: Int) -> Int { if n == 0 { acc } else { count(n - 1, acc + 1) }}
fn all_positive(xs: List[Int]) -> Bool { xs match { [] -> True [x, ..rest] -> x > 0 && all_positive(rest) # && の右辺も末尾位置 }}
fn main() { dbg(count(1000000, 0)) # 1000000 dbg(all_positive(List.range(1, 1000000))) # True}末尾位置は関数の本体の最後の式と、そこにある if の分岐、match の腕、&& と || の右辺です。x + sum(rest) のように呼んだ後に計算が残る再帰は末尾呼び出しにならず、深さの上限は実装に依ります。深くなりうるときは、累積の引数を足して末尾呼び出しの形にします。
escape の対象の式と with の本体は、最後の式に見えても末尾位置になりません。後で escape の腕やハンドラの release が走りうるので、呼んだ後にまだ仕事が残っています。escape の腕の本体は末尾位置です。
error Retry
fn attempt(n: Int) -> Int fails Retry { if n < 3 { fail Retry } else { n }}
fn retry(n: Int) -> Int { attempt(n) escape { Retry -> retry(n + 1) # 腕の本体は末尾位置 }}
fn main() { dbg(retry(0)) # 3}2つ以上の関数が互いを末尾で呼ぶ相互再帰は、スタックを消費しないことを保証しません。
fn is_even(n: Int) -> Bool { if n == 0 { True } else { is_odd(n - 1) }}
fn is_odd(n: Int) -> Bool { if n == 0 { False } else { is_even(n - 1) }}
fn main() { dbg(is_even(10)) # True}is_even(1000000) は JavaScript のターゲットでスタックがあふれます。深くなりうる相互再帰は1つの関数にまとめて状態を引数で渡す形に書き直します。
末尾位置の正確な定義は ターゲット にあります。
途中で抜ける
Section titled “途中で抜ける”return、break、continue はありません。関数の値は常に本体の最後の式です。早く抜けたいときは、分岐を if や match で分けてそれぞれの最後に値を置くか、失敗として fail で抜けます（エラー）。条件付きで抜けるだけなら、if 条件 { fail ... } を本体の先頭に並べます。
値の形で分けるときは match を使います。後置で 式 match { 腕 } と書きます。
fn describe(n: Int) -> String { n match { 0 -> "zero" n if n < 0 -> "negative" _ -> "positive" }}
fn main() { dbg(describe(-2)) # "negative"}パターンの種類と網羅性の検査は パターンマッチ にあります。