なぜLuauを使うのか？

Luauの型システムには、開発をより安全かつ効率的にする3つの大きな利点があります。

エラーを早期に検出: 型チェッカーはコードの実行前、編集中にコードを分析します。numberが期待されている場所にnilを渡す、典型的なLuaのバグを考えてみましょう。

-- Lua: nothing warns you about this
local function calculateTotal(price, tax)
    return price + tax
end

print(calculateTotal(nil, 0.1))
-- ✗ runtime error: attempt to perform arithmetic on nil

通常のLuaでは、不正な呼び出しが実際に実行されるとき、つまりユーザーの目の前で初めてクラッシュが発生する可能性があります。さらに悪いことに、Luaはバグを完全に隠してしまうこともあります。"50" + 0.1では文字列が暗黙的に変換され、50.1が返されます……文字列が数値ではない日が来るまでは。Luauのアノテーションを使えば、この間違いはすぐに警告されます。

local function calculateTotal(price: number, tax: number): number
    return price + tax
end

calculateTotal(nil, 0.1) -- ✗ type error while editing: nil is not a number

コードの可読性が向上: アノテーションはドキュメントとして機能します。price: numberを見れば、関数が何を受け取り、何を返すのかをあなたやチームメイトが正確に把握できます。推測したり、実装を調べたりする必要はありません。

開発ツールが強化: エディターは各変数の型を把握しているため、正確な自動補完、より安全なリファクタリング、より賢いコードナビゲーションを利用できます。型付けされた値の後にドットを入力すると、エディターには利用可能なものだけが正確に一覧表示されます。