Luau入門10：型の書き方（:: と型注釈）と、型チェックのすすめ
初級Luau更新日：2026年11月13日Luauの型チェック済み
ひとことで言うと
Luauでは、変数や引数に型を書けます（「a: number」「script.Parent :: BasePart」など）。型を書くと、Roblox Studioがまちがいを早く見つけ、入力の候補も出しやすくなります。
型注釈（: 型）
local function add(a: number, b: number): number
return a + b
end
print(add(3, 4))「a: number」は「aは数値です」という目印です。
型の指定（:: 型）
「script.Parent :: BasePart」は、「このスクリプトの親はパーツです」とLuauに教える書き方です。script.Parent は何が入っているか分からない（Instance）ので、これを書いておくと「.Touched」や「.Transparency」の候補が正しく出るようになります。
–!strict（厳しいチェック）
スクリプトの1行目に「–!strict」と書くと、型のチェックが厳しくなり、まちがいを見つけやすくなります。このサイトの作例は、すべてこの厳しいチェックでエラーが出ないことを確かめています。