シーンと即時手続き

物語は、#[scene] を付けた pushdown fn であるシーンと、それ以外の pushdown fn である即時手続きからできています。シーンは互いに呼び合って戻り、シーンの中の制御フローは Rust と同じです。goto はありません。

呼び出し

FestivalHub();                // call a scene
let answer = Confession();    // a scene that returns a value
visit(Map::A);                // call an instant procedure

呼び出しはすべて普通の呼び出し構文です。呼び出しは戻り先と呼び出し先のローカル変数を持つフレームを積み、呼び出し先を実行します。呼び出し先が戻るとフレームが取り除かれ、呼び出し元が続きを実行します（物語機械を参照）。

シーンと即時手続き

#[scene]
pushdown fn StallA() {
    if VISITED_A {
        s!(t!["The stall is already packing up."]);
        return;
    }
    visit(Map::A);
    s!(who = "Hanako", t!["Welcome to stall A!"]);
}

pushdown fn visit(stall: Map) {
    match stall {
        Map::A => VISITED_A = true,
        Map::B => VISITED_B = true,
        Map::C => VISITED_C = true,
        Map::Leave => {}
    }
}

#[scene] は pushdown fn をシーンにします。シーンは物語を検査する単位です。

• push_step を呼べる、つまり s! と choice! を実行できるのはシーンだけです。ステップは物語を中断するので純粋ではないからです。それ以外では E3002 です。
• 別のシーンを呼べるのはシーンだけです（E3003）。シーンは再帰できます。
• 乱数を引けるのはシーンだけです（E3024）。
• コンパイラは各シーンを物語全体の 1 つの構成要素として 1 回だけ解析するので、多くの場所から呼ばれるシーンでも呼び出し元ごとに解析し直すことはありません。

#[scene] のない pushdown fn は即時手続きです。

• 有限型を保持し、物語変数を読み書きでき、他の即時手続きと const fn を呼べます。
• ステップを実行せず、シーンを呼ばず、乱数も引きません。
• 再帰しません。即時手続き同士の呼び出しは循環を作れません（E3005）。ループは定数の範囲か配列に対する for だけで、loop と while は E3004 です。

したがって即時手続きは入力なしに必ず終わり、コンパイラはその呼び出しを、呼び出し元のシーンの中の 1 つの遷移として扱います。

pushdown fn でない関数に #[scene] を付けると E3018 です。シーンは PascalCase で名付けるので、呼び出し箇所で即時手続きと区別できます。snake_case のリントはシーンには適用されません。

制御フロー

物語は Rust の制御フローを使います。if、if let、match、loop、while、for、break、continue、return と、入れ子のループを抜けるためのループラベルです。構文は制御フローとループにあります。

#[scene]
pushdown fn Week() {
    'week: for day in 0..7 {
        match Day(day) {
            DayEnd::Normal => continue,
            DayEnd::Hospital => break 'week,
        }
    }
}

pushdown fn の中の for は、両端が定数式である範囲か配列に対してだけ回せ（E3006）、ループ変数は対応する Int 型を持ちます。for day in 0..7 の day は Int<0, 6> です。

goto も、ジャンプ先となるラベル付きの位置もありません。ハブは loop、早く終わるシーンは return、分岐は if か match です。その結果、次の 2 つが成り立ちます。

• 制御が別の関数やブロックの途中に飛び込むことはありません。解析が前提とする呼び出しと戻りの入れ子は、構成上成り立ちます。
• ループの途中に飛び込むような既約でない制御フローは書けません。そのような物語は必要ありません。

条件は普通の真偽値の式で、複数の変数はタプルとしてまとめて照合します。

match (VISITED_A, VISITED_B, VISITED_C) {
    (true, true, true) => FestivalEnd(),
    _ => {}
}

まとめ：

値を返す

enum Answer { Accepted, Rejected }

#[scene]
pushdown fn Confession() -> Answer {
    match choice!{
        id = "confess",
        t!["Tell her the truth"] => Confess::Yes,
        t!["Say nothing"] => Confess::No,
    } {
        Confess::Yes => Answer::Accepted,
        Confess::No => Answer::Rejected,
    }
}

#[scene]
pushdown fn Day3() {
    match Confession() {
        Answer::Accepted => AzusaRoute(),
        Answer::Rejected => s!(t!["The wind stopped."]),
    }
}

どう終わったかを伝える必要のあるシーンは、有限型の戻り値の型を宣言し、結果を返します。Rust の型付けにより、すべての経路が値を生みます。値なしで本体の終わりに達しうる経路は型エラーです。終わらないループに値は要りません。

停止性

2 つのステップの間はすべて即座に実行されるので、必ず終わらなければなりません。コンパイラは次のものを拒否します。

• 本体を一周する経路のうちステップを通らないものがある、シーン内の loop や while（E5001）。
• ステップを通らない呼び出しの循環。たとえば、ステップより前に自分自身を呼ぶシーン（E5002）。

定数の範囲か配列に対する for は有界なので、ステップは要りません。すべての分岐は起こりうるものとして扱われます。ステップのない経路が実際には通らないことを証明しようとはしません。

検査は呼び出しの中まで見ます。ステップを通らずに戻りうるシーンの呼び出しはステップなしと数え、即時手続きの呼び出しもすべてステップなしと数えます。そのため、唯一のステップが呼び出したシーンの中にあるループは、そのシーンがすべての経路でステップを実行する場合にだけ受け入れられます。

日々のループのように循環する物語は、1 つの駆動シーンの中の loop が各日を順に呼ぶ形で書きます。互いに輪になって呼び合い、戻らないシーンは、一周するたびにコールスタックを伸ばします。

物語の中のクロージャ

pushdown fn はクロージャの引数を受け取って呼べます。

pushdown fn twice(f: pushdown Fn()) {
    f();
    f();
}

twice(|| AFFECTION_MIO += 1);

物語のクロージャは第二級です。渡して呼ぶことはできますが、保存、返却、キャプチャはできません（E3015）。クロージャは即時手続きであり、ステップの実行やシーンの呼び出しはできません。

乱数

シーンは rng_choose::<T>() で乱数を引きます。T: RandChoose、つまり T はフィールドのない列挙型か Int<lo, hi> です。各値は等確率です。乱数を引けるのはシーンだけで、即時手続きからの呼び出しは E3024、RandChoose でない T は E2026 です。

enum Coin { Heads, Tails }

match rng_choose::<Coin>() {
    Coin::Heads => s!(t!["Heads."]),
    Coin::Tails => s!(t!["Tails."]),
}

生成器は xoroshiro128++ です。その状態は物語状態の一部で、シードはセーブにあるので、リプレイはすべての乱数を再現します（セーブ、リプレイ、決定性を参照）。コンパイラは各乱数を、プレイヤーの選択と同じく T のすべての値にわたる自由な選択として扱います。