membrum

Dot, bracket, chained, and optional member access expressions.

Syntax: <expr>.<field> | <expr>[<index>] | <expr>?.<field>

Category#

expression

Related#

• ?.
• lista
• tabula
• genus

Examples#

radix/corpus/membrum/membrum.fab (canonical · concept)#

Dot, bracket, chained, and optional member access expressions.

# =============================================================================
# membrum — Dot, bracket, chained, and optional member access expressions.
# =============================================================================
#
# What this teaches:
#   • dot access (`expr.field`) on genus records — direct field lookup
#   • bracket access (`expr[index]`) on listas and tabulae — indexed access
#   • optional chaining (`expr?.field`) — safe navigation that returns nihil on missing values
#   • chained access combining dot, bracket, and optional access
#
# Common mistakes:
#   • Accessing a field that does not exist on the receiver type — dot access requires a matching member on the genus.
#
# See also: ?., lista, tabula, genus
# =============================================================================

# membrum — dot, bracket, chained, and optional access
#
# expr.<field>        -- dot access on genus records
# expr[index]         -- bracket access on listas and tabulae
# expr?.<field>       -- optional chaining (see optionalis/optionalis.fab)
#
# GRAMMAR:
#   memberExpr :← primary ('.' ident | '[' expr ']' | '?.' ident)*
#
# EXPECTED OUTPUT:
#   membrum.expected — chained access samples.

class Punctum {
    int x
    int y
}

class Forma {
    string nomen
    int valor
}

class Imum {
    string imum
}

class Medium {
    Imum medium
}

class Extra {
    Medium extra
}

class Datum {
    list<string> res
}

class Adest {
    int valor
}

class Forsitan {
    Adest adest
}

main {
    # --- Dot accessus ---

    const _ punctum ← Punctum { x = 10, y = 20 }
    print punctum.x
    print punctum.y

    # --- Bracket accessus on lista ---

    const _ numeri ← [1, 2, 3]
    print numeri[0]
    print numeri[2]

    # --- Bracket accessus on tabula ---

    const map<string, int> tab ← { "nomen": 1, "valor": 42 }
    print tab["nomen"]
    print tab["valor"]

    # --- Chained member access ---

    const _ nidum ← Extra { extra = Medium { medium = Imum { imum = "inventum" } } }
    print nidum.extra.medium.imum

    # --- Mixed dot and bracket ---

    const _ datum ← Datum { res = ["primus", "secundus", "tertius"] }
    print datum.res[0]
    print datum.res[2]

    # --- Accessus optionalis ---

    const _ forsitan ← Forsitan { adest = Adest { valor = 100 } }
    print forsitan?.adest?.valor

    # Accessus optionalis on nihil binding
    const _ void ← null
    print void?.absens
}

Expected output:

10
20
1
3
1
42
inventum
primus
tertius
100
nihil