Objetivos del sistema de tipos Luau
Author
Venue
Taller sobre los aspectos humanos de los tipos y los asistentes de razonamiento 2021
Abstract
Luau es el lenguaje de scripting que impulsa las experiencias generadas por los usuarios en la plataforma Roblox. Se trata de un lenguaje de tipado estático, basado en el lenguaje Lua de tipado dinámico, con inferencia de tipos. Estos tipos se utilizan para proporcionar asistencia al editor en Roblox Studio, el IDE para la creación de experiencias Roblox. Debido a la comunidad de desarrolladores de Roblox, que es singularmente heterogénea, Luau debe funcionar de una manera algo diferente a la de un lenguaje de tipado estático tradicional. En este artículo, describimos algunos de los objetivos del sistema de tipos de Luau, centrándonos en aquellos aspectos en los que los objetivos difieren de los de otros sistemas de tipos.
