Objectifs du système de types Luau
Author
Venue
Atelier 2021 sur les aspects humains des types et des assistants de raisonnement
Abstract
Luau est le langage de script qui permet de créer des expériences générées par les utilisateurs sur la plateforme Roblox. Il s'agit d'un langage à typage statique, basé sur le langage Lua à typage dynamique, avec inférence de types. Ces types sont utilisés pour fournir une aide à l'édition dans Roblox Studio, l'IDE permettant de créer des expériences Roblox. En raison de la communauté de développeurs particulièrement hétérogène de Roblox, Luau doit fonctionner d'une manière quelque peu différente d'un langage statiquement typé traditionnel. Dans cet article, nous décrivons certains des objectifs du système de types de Luau, en mettant l'accent sur les points où ces objectifs diffèrent de ceux d'autres systèmes de types.
