Obiettivi del sistema di tipi Luau
Author
Venue
Workshop 2021 sugli aspetti umani dei tipi e degli assistenti al ragionamento
Abstract
Luau è il linguaggio di scripting che alimenta le esperienze generate dagli utenti sulla piattaforma Roblox. Si tratta di un linguaggio a tipizzazione statica, basato sul linguaggio Lua a tipizzazione dinamica, con inferenza dei tipi. Questi tipi vengono utilizzati per fornire assistenza all'editor in Roblox Studio, l'IDE per la creazione di esperienze Roblox. A causa della comunità di sviluppatori di Roblox, unica nel suo genere per la sua eterogeneità, Luau deve funzionare in modo leggermente diverso rispetto a un tradizionale linguaggio a tipizzazione statica. In questo articolo descriviamo alcuni degli obiettivi del sistema di tipi di Luau, concentrandoci sui punti in cui tali obiettivi differiscono da quelli di altri sistemi di tipi.
