fiet
Translation status: العربية reader-locale proof. Code fences render through the ar pipeline; prose is canonical Latin.
Callable posture for asynchronous finite functions.
Aliases: async
Syntax: functio name(…) fiet → T
Category#
async
Related#
Examples#
radix/corpus/fiet/fiet.fab (canonical · keyword)#
Callable posture for asynchronous finite functions.
# =============================================================================
# fiet — Asynchronous finite callable posture
# =============================================================================
#
# What this teaches:
# • Preferred async posture word after the parameter list: `fiet → T`.
# • Return type is observed as `promissum<T>` at call sites.
# • Consume with `figendum`, `variandum`, `reddet`, or `tacebit`.
#
# Common mistakes:
# • Using bare `cede` to await — await is not yield; use await morphology.
#
# See also: futura, promissum, figendum, tacebit
# =============================================================================
# GRAMMAR:
# callablePosture :← 'fiet'
#
# EXPECTED OUTPUT:
# none — async runtime compile smoke (whitelist with futura if needed).
functio responde() fiet → numerus { redde 42 }
incipiet { figendum _ responsum ← responde() nota responsum }