Renderingla

incipiet

Declares the asynchronous program entry point.

Syntax: incipiet <block>

Category

entry

Related

Examples

examples/corpus/incipiet/incipiet.fab (canonical · keyword)

Declares the asynchronous program entry point.

# incipiet — async program entry point
#
# incipiet { <body> }
#
# GRAMMAR:
#   asyncEntry :← 'incipiet' block
#
# EXPECTED OUTPUT:
#   none — Rust async runtime whitelist (compile-only in harness)
#
# BACKEND:
#   Pairs with @ futura and cede; contrast with incipit (synchronous entry).

# Helper futura function
@ futura
functio accipe() → textus {
    # Simulates futura operation
    redde "datum paratum"
}

@ futura
functio metire(textus datum) → numerus {
    redde datum.longitudo()
}

# Futura entry point
incipiet {
    nota "incipiet initium"

    # Await futura functions with cede
    fixum _ datum ← cede accipe()
    nota "acceptum: §"(datum)

    fixum _ longitudo ← cede metire(datum)
    nota "longitudo: §"(longitudo)

    nota "opus perfectum"
}

Expected output:

incipiet initium
acceptum: datum paratum
longitudo: 13
opus perfectum