Programming Languages
Luau 類型系統的目標
Author
Venue
2021年「類型與推理輔助工具的人文面向」研討會
Abstract
Luau 是驅動 Roblox 平台上使用者自製體驗的腳本語言。它是一種靜態類型語言，基於動態類型的 Lua 語言，並具備類型推斷功能。這些類型用於在 Roblox Studio（用於製作 Roblox 體驗的整合開發環境）中提供編輯器輔助功能。 鑑於 Roblox 開發者社群的獨特異質性，Luau 的運作方式必須與傳統的靜態類型語言略有不同。本文將闡述 Luau 類型系統的部分目標，並著重探討這些目標與其他類型系統的差異之處。
