العرضar

↢

Translation status: العربية reader-locale proof. Term names and code fences follow the ar pack; supporting prose may still be English.

Awaits a وعد while initializing an ordinary binding.

Syntax: ثابت T name ↢ future

Category#

async

Examples#

radix/corpus/await-assignment/await-assignment.fab (canonical · operator)#

Awaits a وعد while initializing an ordinary binding.

# =============================================================================
# ↢ — Await-directed binding initializer
# =============================================================================
#
# What this teaches:
#   • Keep ثابت, متغير, or ليكن while awaiting the initializer.
#   • The glyph is a binding boundary, not an inline expression operator.
#   • A stored وعد can be resolved in a later declaration.
#
# See also: انتظر_ثابت, انتظر_متغير, غيرمتزامن, وعد
# =============================================================================

دالة responde(عدد قيمة) غيرمتزامن → عدد {
    أعد قيمة
}

استهلال {
    ثابت وعد<عدد> مستقبلي ← responde(7)
    ثابت عدد immotum ↢ مستقبلي
    متغير عدد mutabile ↢ responde(8)
    ثابت _ illatum ↢ responde(9)
    mutabile ← mutabile + 1
    اعرض immotum
    اعرض mutabile
    اعرض illatum
}

Expected output:

7
9
9