↢

Awaits a 期约 while initializing an ordinary binding.

Syntax: 常量 T name ↢ future

Category#

async

Related#

• 等定
• 等变
• 异步
• 期约

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