Goals of the Luau Type System, Two Years On (HATRA 2023 - 4th International Workshop on Human Aspects of Types and Reasoning Assistants)

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Lily Brown, Andy Friesen, Alan Jeffrey

Track

HATRA 2023

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 22 Oct 2023 16:00 - 16:45 at Room VI - Type Systems and Discussion Chair(s): Will Crichton

Abstract

In HATRA 2021, we presented The Goals Of The Luau Type System, describing the human factors issues with designing a type system for a language with a heterogeneous developer community. In this extended abstract we provide a progress report on the work so far, focusing on the unexpected aspects: semantic subtyping and type error suppression.

Link to Publication

https://asaj.org/papers/hatra23.pdf

Lily Brown

Roblox

United States

Andy Friesen

Roblox

Alan Jeffrey

Roblox

United States

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 22 Oct
Displayed time zone: Lisbon change

16:00 - 17:30	Type Systems and DiscussionHATRA at Room VI Chair(s): Will Crichton Brown University

16:00 45m Talk		Goals of the Luau Type System, Two Years OnRemote HATRA Lily Brown Roblox, Andy Friesen Roblox, Alan Jeffrey Roblox Link to publication
16:45 45m Meeting		Discussion HATRA Michael Coblenz University of California, San Diego, Luke Church University of Cambridge \| Lund University \| Lark Systems, Jonathan Aldrich Carnegie Mellon University, Will Crichton Brown University