Exit

💡 お知らせ: このドキュメントはAIによって翻訳されています。表現に違和感がある場合は、原文（英語）を参照するか、翻訳にご協力ください。

Flix は、プログラムを終了させるためのライブラリエフェクト(Library effect)として Exit を提供しています。Exit エフェクトはデフォルトハンドラを持っているため、main の中で明示的に runWithIO を呼び出す必要はありません。中心となるモジュールは Sys.Exit です。

Exit エフェクト

Exit エフェクトはただ 1 つの操作を持ち、指定された終了コードで JVM を即座に停止させます。

pub eff Exit {
    /// 指定された `exitCode` で JVM を即座に終了します。
    def exit(exitCode: Int32): Void
}

戻り値の型が Void であることは、exit が正常に戻ることは決してないことを示しています。

プログラムの終了

Exit の最も単純な使い方は、特定の終了コードでプログラムを終了させることです。

use Sys.Exit

def main(): Unit \ { Exit, IO } =
    println("Goodbye!");
    Exit.exit(0)

慣例として、終了コードがゼロであれば成功を、非ゼロであればエラーを表します。