futura

Marks a function as asynchronous.

Syntax: @ futura

Category

async

Related

• futura
• annotation-sugar

Examples

examples/corpus/annotation-sugar/futura-braced.fab (canonical · annotation)

Braced canonical @ futura unit marker.

@ futura { }
functio f() → vacuum {
    redde
}

incipit {
    nota "futura-braced"
}

Expected output:

futura-braced

examples/corpus/futura/futura.fab (canonical · annotation)

Marks a function as asynchronous.

# @ futura — async function annotation
#
# @ futura
# functio nomen(…) → typus { … }
#
# GRAMMAR:
#   annotatedFunc :← '@' 'futura' funcDecl
#
# EXPECTED OUTPUT:
#   none — Rust async runtime whitelist (compile-only in harness)
#
# BACKEND:
#   Rust async runtime not linked in exempla harness (whitelist: futura/futura.fab).

@ futura
functio responde() → numerus {
    redde 42
}

incipiet {
    # cede awaits the promissum
    fixum _ responsum ← cede responde()
    nota responsum
}

Expected output:

42