Verwendung einer generischen Funktion

Du gibst identity nie an, was T ist: Der Prüfer findet es selbst heraus. Das ist Typinferenz: Bei jedem Aufruf betrachtet Luau das Argument und ermittelt T:

local word = identity("Luau")   -- T wird als string erschlossen
local count = identity(12)      -- T wird als number erschlossen
local flag = identity(false)    -- T wird als boolean erschlossen

Jeder Aufruf ist unabhängig: T kann in einer Zeile ein String und in der nächsten eine Zahl sein. Das inferierte Ergebnis ist genauso sicher wie eine von Hand geschriebene Typannotation: Für den Prüfer ist word ein string, mit vollständiger Autovervollständigung und Fehlerprüfung.

Ein wichtiger Unterschied zu TypeScript: TS lässt dich den Typ am Aufruf erzwingen, indem du identity<number>(5) schreibst. Luau kennt keine Typargumente an Aufrufstellen. Diese Zeile ist keine spezielle Syntax, daher liest Luau die spitzen Klammern als Kleiner-als-/Größer-als-Vergleiche und der Code schlägt fehl. Wenn du den Typ ausdrücklich angeben möchtest, annotiere stattdessen die Variable:

local count: number = identity(12)

Du kannst die Inferenz mit einem vertrauten Werkzeug beobachten: typeof gibt den Namen des Laufzeittyps eines Werts zurück. Daher gibt print(typeof(identity(12))) number aus: Der Wert hat die generische Funktion völlig unverändert durchlaufen.