Programming Languages
Luau 타입 시스템의 목표
Author
Venue
2021년 유형 및 추론 보조 도구의 인간적 측면 워크숍
Abstract
Luau는 Roblox 플랫폼에서 사용자 제작 경험을 구동하는 스크립팅 언어입니다. 이는 동적 타입 언어인 Lua를 기반으로 하며 타입 추론을 지원하는 정적 타입 언어입니다. 이러한 타입은 Roblox 경험을 제작하기 위한 IDE인 Roblox Studio에서 편집기 지원을 제공하는 데 사용됩니다. Roblox의 독특하고 이질적인 개발자 커뮤니티 특성상, Luau는 기존의 정적 타입 언어와는 다소 다른 방식으로 작동해야 합니다. 본 논문에서는 Luau 타입 시스템의 목표 중 일부를 설명하며, 특히 다른 타입 시스템과의 차이점에 중점을 둡니다.
