Inline-Shape-Annotationen

In Lua nutzt du Tabellen schon lange als Records: local user = {name = "Ana", age = 20}. Nichts hält dich davon ab, ein Feld falsch zu schreiben, eines zu vergessen oder einen String dort zu speichern, wo eine Zahl hingehört — du findest es erst heraus, wenn der Code läuft.

Luau ermöglicht es dir, die Form (Shape) einer solchen Tabelle direkt in der Deklaration zu beschreiben, indem du jedes Feld und seinen Typ zwischen geschweiften Klammern auflistest:

local user: {name: string, age: number} = {
    name = "Ana",
    age = 20,
}

Vergleiche dies mit den Tabellentypen, die du bereits kennst: {number} beschreibt ein Array und {[string]: number} beschreibt eine Map mit beliebigen String-Schlüsseln. Eine Shape ist präziser — sie benennt jedes Feld einzeln und gibt jedem Feld seinen eigenen Typ.

Sobald die Shape deklariert ist, überprüft der Type Checker die Tabelle beim Bearbeiten gegen diese Form. Ein fehlendes Feld oder ein falscher Werttyp wird gemeldet, bevor der Code jemals ausgeführt wird:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ Typfehler: string ist keine number
}

Wie immer fügt die Annotation kein Laufzeitverhalten hinzu — die Tabelle ist eine normale Lua-Tabelle. Inline-Shapes eignen sich perfekt für einmalige Strukturen, die du nicht wiederverwenden möchtest; in der nächsten Lektion wirst du Shapes einen Namen geben.