Programming Languages
Doelstellingen van het Luau-typesysteem
Author
Venue
Workshop 'Human Aspects of Types and Reasoning Assistants' 2021
Abstract
Luau is de scripttaal die door gebruikers gegenereerde ervaringen op het Roblox-platform mogelijk maakt. Het is een statisch getypeerde taal, gebaseerd op de dynamisch getypeerde taal Lua, met type-inferentie. Deze typen worden gebruikt voor het bieden van editorondersteuning in Roblox Studio, de IDE voor het maken van Roblox-ervaringen. Vanwege de unieke heterogene ontwikkelaarsgemeenschap van Roblox moet Luau op een iets andere manier werken dan een traditionele statisch getypeerde taal. In dit artikel beschrijven we enkele doelstellingen van het Luau-typesysteem, waarbij we ons richten op de punten waarop deze doelstellingen verschillen van die van andere typesystemen.
