インラインでの形状のアノテーション

Luaでは、長い間recordsとしてtableを使ってきました：local user = {name = "Ana", age = 20}。フィールド名を間違えて入力したり、フィールドを1つ忘れたり、numberが入るべき場所にstringを格納したりするのを防ぐものは何もありません。コードが実行されて初めて気づきます。

Luauでは、波括弧の間に各フィールドとその型を列挙して、宣言の中でそのようなtableのshapeを直接記述できます：

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

これを、すでに知っているtable型と比較してみましょう：{number}は配列を表し、{[string]: number}は任意のstringキーを持つマップを表します。shapeはより正確です。各フィールドを個別に名前で指定し、それぞれのフィールドに独自の型を与えます。

shapeを宣言すると、編集している間に型チェッカーがtableをそれに照らして検証します。フィールドが欠けていたり、値の型が間違っていたりすると、コードが実行される前に警告されます：

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ 型エラー: string は number ではありません
}

いつもどおり、annotationによって実行時の動作が追加されることはありません：このtableは通常のLuaのtableです。inlineのshapeは、再利用する予定のない一度限りの構造に最適です。次のレッスンでは、shapeに名前を付けます。