Position Paper: Goals of the Luau Type System

Lily Brown, Andy Friesen, Alan Jeffrey

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 t…