การเรนเดอร์th-TH

↢

Translation status: ภาษาไทย reader-locale proof. Term names and code fences follow the th-TH 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