Annotations de structures en ligne

En Lua, vous utilisez des tables comme records depuis longtemps : local user = {name = "Ana", age = 20}. Rien ne vous empêche de mal orthographier un field, d'en oublier un ou de stocker une string là où un number a sa place — vous ne le découvrez que lorsque le code s'exécute.

Luau vous permet de décrire le shape d'une telle table directement dans la déclaration, en énumérant chaque field et son type entre accolades :

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

Comparez cela avec les types de table que vous connaissez déjà : {number} décrit un tableau et {[string]: number} décrit une map avec n'importe quelles clés string. Un shape est plus précis — il nomme chaque field individuellement et donne à chaque field son propre type.

Une fois le shape déclaré, le vérificateur de type vérifie la table par rapport à celui-ci pendant que vous éditez. Un field manquant ou un type de valeur incorrect est signalé avant même que le code ne s'exécute :

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ erreur de type : string n'est pas un number
}

Comme toujours, l'annotation n'ajoute aucun comportement à l'exécution — la table est une simple table Lua. Les inline shapes sont parfaits pour les structures ponctuelles que vous ne prévoyez pas de réutiliser ; dans la prochaine leçon, vous donnerez un nom aux shapes.