Objetivos do Sistema de Tipos Luau
Author
Venue
Workshop sobre Aspectos Humanos de Tipos e Assistentes de Raciocínio 2021
Abstract
Luau é a linguagem de script que possibilita as experiências geradas por usuários na plataforma Roblox. É uma linguagem de tipagem estática, baseada na linguagem Lua de tipagem dinâmica, com inferência de tipos. Esses tipos são utilizados para fornecer assistência ao editor no Roblox Studio, o IDE para a criação de experiências Roblox. Devido à comunidade de desenvolvedores excepcionalmente heterogênea do Roblox, o Luau precisa operar de uma maneira um pouco diferente de uma linguagem tipada estaticamente tradicional. Neste artigo, descrevemos alguns dos objetivos do sistema de tipos do Luau, com foco nos pontos em que esses objetivos diferem dos de outros sistemas de tipos.
