Adnotacje kształtów w miejscu

W Lua od dawna używasz tabel jako rekordów: local user = {name = "Ana", age = 20}. Nic nie powstrzymuje cię przed błędnym zapisaniem pola, pominięciem go albo zapisaniem ciągu znaków tam, gdzie powinna być liczba. Dowiadujesz się o tym dopiero podczas działania kodu.

Luau pozwala opisać kształt takiej tabeli bezpośrednio w deklaracji, wymieniając każde pole i jego typ w nawiasach klamrowych:

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

Porównaj to ze znanymi ci już typami tabel: {number} opisuje tablicę, a {[string]: number} opisuje mapę z dowolnymi kluczami typu string. Kształt jest bardziej precyzyjny. Wymienia każde pole osobno i określa jego własny typ.

Po zadeklarowaniu kształtu sprawdzanie typów weryfikuje zgodność tabeli z nim podczas edycji. Brakujące pole lub nieprawidłowy typ wartości zostanie wskazany, zanim kod w ogóle zostanie uruchomiony:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ błąd typu: string nie jest liczbą
}

Jak zawsze, adnotacja nie wpływa na działanie programu: tabela pozostaje zwykłą tabelą Lua. Kształty inline świetnie nadają się do jednorazowych struktur, których nie planujesz używać ponownie; w następnej lekcji nadasz kształtom nazwę.