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

There are many factors for the success of a new programming language implementation. Existing language implementation frameworks such as Truffle or RPython have focused on run-time performance and security, or on providing a comprehensive set of libraries.

The tools that language users need to be productive are also an important factor for the adoption of a programming language. The aforementioned frameworks, however, provide limited support for creating comprehensive development tools. This is an impediment to language adoption that can be as serious as performance issues or lack of libraries. Both Truffle and RPython already provide run-time tools such as for debugging, profiling, or coverage in a language-independent manner, but neither support static development tasks carried out in code editors.

In this work, we propose a language-agnostic approach to add this missing tooling by making the LSP available automatically to all language implementations on the Truffle framework. Furthermore, we show how our approach can utilize runtime information to provide IDE features rarely available for dynamic programming languages.

Sun 20 Oct

Displayed 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
30m
Talk
First-class Dynamic TypesResearch Paper
DLS 2019
Michael Homer Victoria University of Wellington, Timothy Jones Montoux, James Noble Victoria University of Wellington
Pre-print Media Attached
11:30
30m
Talk
Language-independent Development Environment Support For Dynamic RuntimesExperience Paper
DLS 2019
Daniel Stolpe Hasso-Plattner-Institut, Tim Felgentreff Oracle Labs, Potsdam, Christian Humer Oracle Labs, Switzerland, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
Pre-print Media Attached
12:00
30m
Talk
Optimizing and Evaluating Transient Gradual TypingResearch Paper
DLS 2019
Michael M. Vitousek Indiana University, Jeremy G. Siek Indiana University, USA, Avik Chaudhuri Facebook, USA
Media Attached