promissum

Promise-like result type associated with futura functions.

Aliases: promise

Syntax: promissum<T>

Category

async

Related

• futura
• cede

Examples

examples/corpus/promissum/promissum.fab (canonical · existing-home)

Promise-like result type associated with futura functions.

# promissum<T> — async result type (paired with @ futura)
#
# @ futura functio … → <typus>   -- lowers to promissum<<typus>>
#
# GRAMMAR:
#   futuraDecl :← '@' 'futura' funcDecl
#
# EXPECTED OUTPUT:
#   promissum typus notus (promissum.expected).

@ futura
functio compute() → numerus {
    redde 7
}

incipit {
    nota "promissum typus notus"
}

Expected output:

promissum typus notus