Roblox and the Luau Programming Language

Event Description

Roblox is a platform for shared 3D environments, scripted using the Luau programming language. In this talk, I will give an overview of Roblox, and what makes the needs of creators of Roblox experiences different from those of traditional software developers. I will discuss recent work on prototyping and mechanically verifying the Luau type system, and using techniques drawn from semantic subtyping to provide a constructive model of type errors.

Free