Programming Languages
Cele systemu typów Luau
Author
Venue
Warsztaty „Human Aspects of Types and Reasoning Assistants” 2021
Abstract
Luau to język skryptowy, który obsługuje doświadczenia tworzone przez użytkowników na platformie Roblox. Jest to język statycznie typowany, oparty na dynamicznie typowanym języku Lua, z wnioskowaniem typów. Typy te są wykorzystywane do zapewnienia pomocy edytora w Roblox Studio, środowisku IDE służącym do tworzenia doświadczeń Roblox. Ze względu na wyjątkowo zróżnicowaną społeczność programistów Roblox, Luau musi działać w nieco inny sposób niż tradycyjne języki statycznie typowane. W niniejszym artykule opisujemy niektóre cele systemu typów Luau, skupiając się na tym, czym różnią się one od celów innych systemów typów.
