أعد

Function returning a string literal via أعد \"نص\".

Aliases: return

Syntax: أعد <string-literal>

Category#

transfer

Related#

• →
• ⇥
• إذن
• ارم
• صمت

Examples#

radix/corpus/redde/redde.fab (canonical · keyword)#

Returns a value from a function.

# =============================================================================
# أعد — Returns a value from a function.
# =============================================================================
#
# What this teaches:
#   • Function return — `أعد <expression>` returns a value from a `دالة`,
#     and bare `أعد` returns `فراغ`
#   • Early returns with `إذا <cond> إذن أعد <expr>` for guard clauses
#
# Common mistakes:
#   • Using `أعد` outside a function body — `أعد` is only valid inside `دالة` declarations (SEM032).
#
# See also: →, ⇥, إذن, ارم, صمت
# =============================================================================

# أعد statements (function return)
#
# أعد <expression>   -- return a value
# أعد                -- return void (فراغ)
#
# GRAMMAR:
#   returnStmt :← 'أعد' expr?
#
# EXPECTED OUTPUT:
#   30, Salve, Munde, 42, 0, 20

fn adde(int a, int b) → int {
    return a + b
}

fn saluta(string اسم) → string {
    return "Salve, " + اسم
}

fn duoetquadraginta() → int {
    return 42
}

fn tace() → void {
    # bare أعد for فراغ return type
    return
}

fn porta(int x) → int {
    if x ≺ 0 {
        # early return on negative input
        return 0
    }
    return x * 2
}

main {
    print adde(10, 20)
    print saluta("Munde")
    print duoetquadraginta()
    tace()
    print porta(-5)
    print porta(10)
}

Expected output:

30
Salve, Munde
42
0
20

radix/corpus/scalar/return-bool.fab (canonical · keyword)#

Functions returning boolean literals via أعد صواب and أعد خطأ.

# =============================================================================
# أعد — Functions returning boolean literals via أعد صواب and أعد خطأ.
# =============================================================================
#
# What this teaches:
#   • Boolean return values — `أعد صواب` and `أعد خطأ` are valid return
#     expressions for `منطقي`-typed functions
#   • Demonstrates that boolean literals pass through the return statement
#     unchanged
#
# Common mistakes:
#   • Confusing a scalar (single-value) return with a collection return — this function returns one `منطقي`, not a list.
#
# See also: صواب, خطأ, منطقي, دالة
# =============================================================================

# scalar/return-bool — return boolean literals
#
# GRAMMAR:
#   returnStmt :← 'أعد' expr
#
# Verifies that the Swift backend emits functions returning
# boolean literals (SC-001: primitives, functions, return).

fn da_verum() → bool {
    return true
}

fn da_falsum() → bool {
    return false
}

radix/corpus/scalar/return-integer.fab (canonical · keyword)#

Function returning an integer literal via أعد 42.

# =============================================================================
# أعد — Function returning an integer literal via أعد 42.
# =============================================================================
#
# What this teaches:
#   • Integer return values — `أعد 42` returns an integer literal from a
#     `عدد`-typed function
#   • Verifies the backend emits the correct primitive type for integer returns
#
# Common mistakes:
#   • Confusing a scalar (single-value) return with a collection return — this function returns one `عدد`, not a list.
#
# See also: فراغ, دالة
# =============================================================================

# scalar/return-integer — return integer literal
#
# GRAMMAR:
#   returnStmt :← 'أعد' expr
#
# Verifies that the Swift backend emits a function returning an
# integer literal (SC-001: primitives, functions, return).

fn da_numerum() → int {
    return 42
}

radix/corpus/scalar/return-string.fab (canonical · keyword)#

Function returning a string literal via أعد \"نص\".

# =============================================================================
# أعد — Function returning a string literal via أعد "نص".
# =============================================================================
#
# What this teaches:
#   • String return values — `أعد "نص"` returns a string literal from a
#     `نص`-typed function
#   • Verifies the backend handles string literal return types correctly
#
# Common mistakes:
#   • Confusing a scalar (single-value) return with a collection return — this function returns one `نص`, not a list.
#
# See also: نص, دالة
# =============================================================================

# scalar/return-string — return string literal
#
# GRAMMAR:
#   returnStmt :← 'أعد' expr
#
# Verifies that the Swift backend emits a function returning a
# string literal (SC-001: primitives, functions, return).

fn da_textum() → string {
    return "textus"
}