القيم القابلة للاستدعاء المعلنة النوع

دالة زيادة(قيمة: ص64) -> ص64 { أرجع قيمة + 4. }
دالة اختر() -> دالة(ص64) -> ص64 { أرجع زيادة. }
سجل حامل { استدعاء: دالة(ص64) -> ص64 }
دالة طبق(عمل: دالة(ص64) -> ص64, قيمة: ص64) -> ص64 { أرجع عمل(قيمة). }
دالة ابدأ_الرئيسية() -> ص64 {
    دع محفوظ: قائمة<دالة(ص64) -> ص64> = [اختر()].
    دع مغلف: نتيجة<دالة(ص64) -> ص64> = نجاح(محفوظ[0]).
    دع عنصر = حامل { استدعاء: مغلف::قيمة }.
    إذا عنصر::استدعاء لا يطابق زيادة { أرجع 1. }
    اطبع(نسق_ص64(طبق(عنصر::استدعاء, 38)) + "\س").
    أرجع 0.
}

fn increment(value: i64) -> i64 { return value + 4; }
fn choose() -> fn(i64) -> i64 { return increment; }
record Carrier { callback: fn(i64) -> i64 }
fn apply(action: fn(i64) -> i64, value: i64) -> i64 { return action(value); }
fn start_main() -> i64 {
    let saved: list<fn(i64) -> i64> = [choose()];
    let wrapped: result<fn(i64) -> i64> = success(saved[0]);
    let carrier = Carrier { callback: wrapped::value };
    if carrier::callback not matches increment { return 1; }
    print(format_i64(apply(carrier::callback, 38)) + "\n");
    return 0;
}