DLS 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
Sun 20 Oct 2019 11:00 - 11:30 at Room 2A - Types and Tools Chair(s): Nick Papoulias

Since LISP, dynamic languages have supported dynamically checked type annotations. Even in dynamic languages, these annotations are typically static: tests are restricted to checking low-level features of objects and values, such as primitive types or membership of an explicit programmer-defined class.

We propose much more dynamic types for dynamic languages—first-class objects that programmers can customise, that can be composed with other types and depend on computed values—and to use these first-class type-like values as types. In this way programs can define their own conceptual models of types, extending both the kinds of tests programs can make via types, and the guarantees those tests can provide. Building on a comprehensive pattern-matching system and leveraging standard language syntax lets these types be created, composed, applied, and reused straightforwardly, so programmers can use these truly dynamic first-class types to make their programs easier to read, understand, and debug.

Sun 20 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30: Types and ToolsDLS 2019 at Room 2A
Chair(s): Nick Papoulias Université Grenoble Alpes, France
11:00 - 11:30
Talk
First-class Dynamic TypesResearch Paper
DLS 2019
Michael HomerVictoria University of Wellington, Timothy JonesMontoux, James NobleVictoria University of Wellington
Pre-print Media Attached
11:30 - 12:00
Talk
Language-independent Development Environment Support For Dynamic RuntimesExperience Paper
DLS 2019
Daniel StolpeHasso-Plattner-Institut, Tim FelgentreffOracle Labs, Potsdam, Christian HumerOracle Labs, Switzerland, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Pre-print Media Attached
12:00 - 12:30
Talk
Optimizing and Evaluating Transient Gradual TypingResearch Paper
DLS 2019
Michael M. VitousekIndiana University, Jeremy G. SiekIndiana University, USA, Avik ChaudhuriFacebook, USA
Media Attached