カスタムエフェクト

カスタム effect は今も言語モデルの一部ですが、深い handler 体験は依然として進化中の設計領域です。

本日時点で確認済み

• カスタム effect は言語設計の一部ですが、深い handler 体験はまだ進化中です。
• 明示的な with ... effect は現在も言語契約の実体です。
• 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

• より豊かな handler モデルは設計上存在しますが、実行サポートはまだ一様ではありません。
• 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。

このリポジトリで確認する

effect Fail {
    fn fail(msg: string) -> !
}

fn main() with Fail {
    Fail.fail("demo")
}