Formatting and parsing ISO 8601 dates

// Formatting and parsing ISO 8601 dates.
import std.io.println;
import std.text.number;
import std.time.calendar;
import std.time.date;

def main(): int {
    match new_calendar_date(2026, 11, 4) with
    | option.none -> { return 1; }
    | option.some(date) -> {
        match format_iso_date(&date) with
        | option.some(text) -> { println(text); }
        | option.none -> { };
    };
    return 0;
}

// تنسيق تواريخ ISO 8601 وتحليلها.
استورد std.io.println;
استورد std.text.number;
استورد std.time.calendar;
استورد std.time.date;

عرف الرئيسية(): عدد {
    طابق أنشئ_تاريخا_تقويميا(2026, 11, 4) مع
    | اختياري.لا_شيء -> { أرجع 1; }
    | اختياري.موجود(التاريخ) -> {
        طابق نسق_تاريخ_آيزو(&التاريخ) مع
        | اختياري.موجود(النص) -> { اطبع_سطر(النص); }
        | اختياري.لا_شيء -> { };
    };
    أرجع 0;
}