SPLASH 2021 (series) / HATRA 2021 (series) / Human Aspects of Types and Reasoning Assistants /
Position Paper: Goals of the Luau Type System
Luau is the scripting language that powers user-generated experiences on the Roblox platform. It is a statically-typed language, based on the dynamically-typed Lua language, with type inference. These types are used for providing editor assistance in Roblox Studio, the IDE for authoring Roblox experiences. Due to Roblox’s uniquely heterogeneous developer community, Luau must operate in a somewhat different fashion than a traditional statically-typed language. In this paper, we describe some of the goals of the Luau type system, focusing on where the goals differ from those of other type systems.
Tue 19 OctDisplayed time zone: Central Time (US & Canada) change
Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change
10:50 - 12:10 | |||
10:50 15mTalk | Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory HATRA Jonathan Aldrich Carnegie Mellon University Pre-print | ||
11:05 15mTalk | An Empirical Study of Protocols in Smart Contracts HATRA Timothy Mou Swarthmore College, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
11:20 15mTalk | Position Paper: Goals of the Luau Type System HATRA Link to publication | ||
11:35 15mTalk | User-driven design and evaluation of Liquid Types in Java HATRA Catarina Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa, Christopher Steven Timperley Carnegie Mellon University, Alcides Fonseca LASIGE, Faculdade de Ciências da Universidade de Lisboa Pre-print | ||
11:50 20mMeeting | Paper discussion, session 1 HATRA |