figendum
Translation status: 繁體中文 reader-locale proof. Code fences render through the zh-Hant pipeline; prose is canonical Latin.
Awaits a promissum and binds an immutable name.
Aliases: await_const
Syntax: figendum T name ← future
Category#
async
Related#
Examples#
radix/corpus/figendum/figendum.fab (canonical · keyword)#
Awaits a promissum and binds an immutable name.
# =============================================================================
# figendum — Await-bind immutable
# =============================================================================
#
# What this teaches:
# • Await a `promissum<T>` and bind the success value immutably.
# • Valid in `fiet` / `fient` / `incipiet` contexts.
#
# See also: variandum, tacebit, reddet, fiet, promissum
# =============================================================================
# GRAMMAR:
# awaitBind :← 'figendum' type? IDENT '←' expr
functio responde() fiet → numerus { redde 7 }
incipiet { figendum numerus responsum ← responde() nota responsum }