Position Paper: Goals of the Luau Type System
Programming Languages
2021-09-24 v1
Abstract
Luau is the scripting language that powers user-generated experiences on the Roblox platform. It is a statically-typed language, based on the dynamically-typed Lua language, with type inference. These types are used for providing editor assistance in Roblox Studio, the IDE for authoring Roblox experiences. Due to Roblox's uniquely heterogeneous developer community, Luau must operate in a somewhat different fashion than a traditional statically-typed language. In this paper, we describe some of the goals of the Luau type system, focusing on where the goals differ from those of other type systems.
Cite
@article{arxiv.2109.11397,
title = {Position Paper: Goals of the Luau Type System},
author = {Lily Brown and Andy Friesen and Alan Jeffrey},
journal= {arXiv preprint arXiv:2109.11397},
year = {2021}
}
Comments
In HATRA '21: Human Aspects of Types and Reasoning Assistants 2021