การตรวจสอบประเภท

type Vector2 = {x: number, y: number}

local foo: string = "bar"
local x: number = 5

local somePart: Part = Instance.new("Part")
local brickColor: BrickColor = somePart.BrickColor
local material: Enum.Material = somePart.Material

local foo: string? = nil

local alwaysHelloWorld: "Hello world!" = "Hello world!"
alwaysHelloWorld = "Just hello!"  -- ข้อผิดพลาดประเภท: ประเภท '"Just hello!"' ไม่สามารถแปลงเป็น '"Hello world!"' ได้

local alwaysTrue: true = false  -- ข้อผิดพลาดประเภท: ประเภท 'false' ไม่สามารถแปลงเป็น 'true' ได้

local myNumber = 1
local myString: string

myString = myNumber  -- ไม่ใช่ OK; ข้อผิดพลาดการแปลงประเภท
myString = myNumber :: any  -- OK; การแสดงออกทั้งหมดสามารถแคสต์เป็น 'any'
local myFlag = myNumber :: boolean  -- ไม่ใช่ OK; ประเภทไม่เกี่ยวข้อง

local function add(x, y)
	return x + y
end

local function add(x: number, y: number)
	return x + y
end

add(5, 10)
add(5, "foo")  -- ข้อผิดพลาดประเภท: สตริงไม่สามารถแปลงเป็นตัวเลขได้

local function add(x: number, y: number): number

local function FindSource(script: BaseScript, pattern: string): (string, number)
	return 42, true  -- ข้อผิดพลาดประเภท
end

type add = (x: number, y: number) -> number
type FindSource = (script: BaseScript, pattern: string) -> (string, number)

local numbers: {number} = {1, 2, 3, 4, 5}
local characterParts: {Instance} = LocalPlayer.Character:GetChildren()

local numberList: {[string]: number} = {
	Foo = 1,
	Baz = 10
}

numberList["bar"] = true  -- ข้อผิดพลาดประเภท: บูลีนไม่สามารถแปลงเป็นตัวเลขได้

type Car = {
	Speed: number,
	Drive: (Car) -> ()
}

local function drive(car)
	-- ไปตามขีดจำกัดความเร็วเสมอ
end

local taxi: Car = {Speed = 30, Drive = drive}

local function addLotsOfNumbers(...)
	local sum = 0

	for _, v in {...} do
		sum += v
	end

	return sum
end

print(addLotsOfNumbers(1, 2, 3, 4, 5))  -- 15
print(addLotsOfNumbers(1, 2, "car", 4, 5))  -- พยายามบวกสตริงเข้ากับตัวเลข

local function addLotsOfNumbers(...: number)

print(addLotsOfNumbers(1, 2, 3, 4, 5))
print(addLotsOfNumbers(1, 2, "car", 4, 5))  -- ข้อผิดพลาดประเภท: สตริงไม่สามารถแปลงเป็นตัวเลขได้

type addLotsOfNumbers = (...: number) -> number  -- คาดประเภท แต่ได้ ':'

type addLotsOfNumbers = (...number) -> number

type numberOrString = number | string
type type1 = {foo: string}
type type2 = {bar: number}
type type1and2 = type1 & type2  -- {foo: string} & {bar: number}

local numString1: numberOrString = true  -- ข้อผิดพลาดประเภท
local numString2: type1and2 = {foo = "hello", bar = 1}

type Car = typeof({
	Speed = 0,
	Wheels = 4
})  --> Car: {Speed: number, Wheels: number}

type Vector = typeof(setmetatable({}::{
	x: number,
	y: number
}, {}::{
	__add: (Vector, Vector|number) -> Vector
}))

-- Vector + Vector จะคืนค่าประเภท Vector

local State = {
	Key = "TimesClicked",
	Value = 0
}

type State = {
	Key: string,
	Value: number
}

type GenericType<T> = T

type List<T> = {T}

local Names: List<string> = {"Bob", "Dan", "Mary"}  -- ประเภทกลายเป็น {string}
local Fibonacci: List<number> = {1, 1, 2, 3, 5, 8, 13}  -- ประเภทกลายเป็น {number}

type Map<K, V> = {[K]: V}

type State<T> = {
	Key: string,
	Value: T
}

local function State<T>(key: string, value: T): State<T>
	return {
		Key = key,
		Value = value
	}
end

local Activated = State("Activated", false)  -- State<boolean>
local TimesClicked = State("TimesClicked", 0)  -- State<number>

โมดูลประเภทใน ReplicatedStorage
export type Cat = {
	Name: string,
	Meow: (Cat) -> ()
}

สคริปต์ที่ใช้โมดูลประเภท
local ReplicatedStorage = game:GetService("ReplicatedStorage")
local Types = require(ReplicatedStorage.Types)

local newCat: Types.Cat = {
	Name = "metatablecat",
	Meow = function(self)
		print(`{self.Name} said meow`)
	end
}

newCat:Meow()