Fallible operations return `result`; each error case is a typed value

// Fallible operations return `result`; each error case is a typed value.
import std.io.println;
import std.text.number;

def parse_or_report(text: string): int {
    match parse_int(&text) with
    | result.ok(value) -> { return value; }
    // Patterns use the canonical variant names; English variant aliases are
    // accepted in expressions but not yet in patterns.
    | result.err(خطأ_تحليل_عدد.نص_فارغ) -> { println("empty input"); }
    | result.err(خطأ_تحليل_عدد.رقم_غير_صالح(_)) -> { println("not a number"); }
    | result.err(_) -> { println("out of range"); };
    return 0;
}

def safe_divide(left: int, right: int): result int, string {
    if (right == 0) { return result.err("division by zero"); };
    return result.ok(left / right);
}

def main(): int {
    println(int_to_text(parse_or_report("1234")));
    println(int_to_text(parse_or_report("-56")));
    parse_or_report("12x");
    parse_or_report("");
    match safe_divide(84, 2) with
    | result.ok(value) -> { println(int_to_text(value)); }
    | result.err(message) -> { println(message); };
    match safe_divide(1, 0) with
    | result.ok(value) -> { println(int_to_text(value)); }
    | result.err(message) -> { println(message); };
    return 0;
}

// العمليات القابلة للفشل ترجع `نتيجة`، وكل حالة خطأ قيمة لها نوع.
استورد std.io.println;
استورد std.text.number;

عرف حلل_أو_أبلغ(النص: نص): عدد {
    طابق حلل_عدد(&النص) مع
    | نتيجة.نجح(القيمة) -> { أرجع القيمة; }
    | نتيجة.خطأ(خطأ_تحليل_عدد.نص_فارغ) -> { اطبع_سطر("مدخل فارغ"); }
    | نتيجة.خطأ(خطأ_تحليل_عدد.رقم_غير_صالح(_)) -> { اطبع_سطر("ليس عددا"); }
    | نتيجة.خطأ(_) -> { اطبع_سطر("خارج النطاق"); };
    أرجع 0;
}

عرف اقسم_بأمان(اليسار: عدد, اليمين: عدد): نتيجة عدد, نص {
    إذا (اليمين == 0) { أرجع نتيجة.خطأ("قسمة على صفر"); };
    أرجع نتيجة.نجح(اليسار / اليمين);
}

عرف الرئيسية(): عدد {
    اطبع_سطر(عدد_إلى_نص(حلل_أو_أبلغ("1234")));
    اطبع_سطر(عدد_إلى_نص(حلل_أو_أبلغ("-56")));
    حلل_أو_أبلغ("12x");
    حلل_أو_أبلغ("");
    طابق اقسم_بأمان(84, 2) مع
    | نتيجة.نجح(القيمة) -> { اطبع_سطر(عدد_إلى_نص(القيمة)); }
    | نتيجة.خطأ(الرسالة) -> { اطبع_سطر(الرسالة); };
    طابق اقسم_بأمان(1, 0) مع
    | نتيجة.نجح(القيمة) -> { اطبع_سطر(عدد_إلى_نص(القيمة)); }
    | نتيجة.خطأ(الرسالة) -> { اطبع_سطر(الرسالة); };
    أرجع 0;
}