TechPoint's Logo
Oct 27

Roblox and the Luau Programming Language

Hosted by IU Luddy School of Informatics, Computing, and Engineering

Event Details

Friday, October 27, 2023
3:00 PM - 4:30 PM
Dorsey Learning Hall
700 N Woodlawn Ave , Bloomington, IN 47408

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.