generic-call-type-args

Explicit type arguments at function and namespaced call sites.

Syntax: callee<type, ...>(args) — id<textus>(...), module.f<T>(...), tensor.creata<T>(...)

Category

function

Related

• functio
• tensor
• typi-parametri

Examples

examples/corpus/functio/generic-call-type-args.fab (canonical · concept)

Explicit type arguments at function and namespaced call sites.

# functio/generic-call-type-args — explicit call-site type arguments
#
# EXPECTED OUTPUT:
#   creata
#
# Application lane (`faber check` / `faber build` / Rust emit). Default
# `faber run` / script stepper do not yet lower explicit call-site type args.

functio identitas<T>(T x) → T {
    redde x
}

incipit {
    nota identitas<textus>("creata")
}

Expected output:

creata