Programming Languages
เป้าหมายของระบบประเภทแบบลัววู
Author
Venue
การประชุมเชิงปฏิบัติการด้านแง่มุมของมนุษย์เกี่ยวกับประเภทและผู้ช่วยในการให้เหตุผล 2021
Abstract
Luau เป็นภาษาสคริปต์ที่ใช้ขับเคลื่อนประสบการณ์ที่ผู้ใช้สร้างขึ้นบนแพลตฟอร์ม Roblox เป็นภาษาที่มีการกำหนดประเภทข้อมูลแบบคงที่ (statically-typed) ซึ่งพัฒนาขึ้นจากภาษา Lua ที่มีการกำหนดประเภทข้อมูลแบบพลวัต (dynamically-typed) พร้อมกับการอนุมานประเภทข้อมูลโดยอัตโนมัติ ประเภทข้อมูลเหล่านี้ถูกใช้เพื่อช่วยในการแก้ไขโค้ดภายใน Roblox Studio ซึ่งเป็น IDE สำหรับการสร้างประสบการณ์บน Roblox เนื่องจากชุมชนนักพัฒนาของ Roblox มีความหลากหลายและไม่เหมือนกัน Luau จึงต้องดำเนินการในลักษณะที่แตกต่างจากภาษาที่มีการกำหนดประเภทแบบคงที่แบบดั้งเดิม ในเอกสารนี้ เราจะอธิบายเป้าหมายบางประการของระบบประเภทของ Luau โดยเน้นที่จุดที่เป้าหมายแตกต่างจากระบบประเภทอื่นๆ
