Ziele des Luau-Typsystems
Author
Venue
Workshop „Human Aspects of Types and Reasoning Assistants“ 2021
Abstract
Luau ist die Skriptsprache, die benutzergenerierte Erlebnisse auf der Roblox-Plattform ermöglicht. Es handelt sich um eine statisch typisierte Sprache, die auf der dynamisch typisierten Sprache Lua basiert und über Typinferenz verfügt. Diese Typen werden zur Editorunterstützung in Roblox Studio verwendet, der IDE zur Erstellung von Roblox-Erlebnissen. Aufgrund der einzigartig heterogenen Entwickler-Community von Roblox muss Luau etwas anders funktionieren als eine traditionelle statisch typisierte Sprache. In diesem Beitrag beschreiben wir einige der Ziele des Luau-Typsystems und konzentrieren uns dabei darauf, inwiefern sich diese Ziele von denen anderer Typsysteme unterscheiden.
