Type systems (ECOOP 2022 - Expert Discussion)

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Niki Vazou, Peter Thiemann

Track

ECOOP 2022 Expert Discussion

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Fri 10 Jun 2022 11:00 - 11:30 at Aurora Borealis 1 - Types Chair(s): Niki Vazou

Abstract

Type systems, too many, too much?

Type systems are an invasive species. They accumulate features and get adopted by formerly “untyped" languages. What do they have to offer? What should they offer in the future? Join our dispute on the usefulness of type systems. Among others, we will discuss:

Why care about type systems?
What are some success stories of advanced type systems?
What is a big challenge of type systems?
Should type systems be optional?
Should advanced type systems be designed for experts or everyone?

Niki VazouPanelist

IMDEA Software Institute

Peter ThiemannPanelist

University of Freiburg, Germany