Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

標準出力への出力

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

Flix の Prelude(プレリュード)には、標準出力へ出力する println 関数が定義されています。例えば:

println("Hello World")

println 関数は、型が ToString トレイトを実装している値、すなわち String に変換できる値であれば、どのような値でも出力できます。例えば:

let o = Some(123);
let l = 1 :: 2 :: 3 :: Nil;
println(o);
println(l)

println 関数は当然ながらエフェクトを持つ関数であるため、純粋関数から呼び出すことはできません。純粋関数をデバッグするには、組み込みのデバッグ機能を使用してください。

Console エフェクト

Console エフェクトは、ターミナルからの読み取りとターミナルへの書き込みを行う操作を定義しています:

eff Console {
    def readln(): String
    def print(s: String): Unit
    def eprint(s: String): Unit
    def println(s: String): Unit
    def eprintln(s: String): Unit
}