Tue 27 Oct 2015 09:40 - 10:00 at Grand Station 3 - Session 1, Language Design

Method names with multiple separate parts are a feature of many dynamic languages derived from Smalltalk. Generalising the syntax of method names to allow parts to be repeated, optional, or alternatives, means a single definition can respond to a whole family of method requests. We show how generalising method names can support flexible APIs for domain-specific languages, complex initialisation tasks, and control structures defined in libraries. We describe how we have extended Grace to support generalised method names, and prove that such an extension can be integrated into a gradually-typed language while preserving type soundness.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 1, Language DesignDLS at Grand Station 3
08:30
10m
Day opening
Welcome and Introduction
DLS

08:40
60m
Talk
DLS Keynote: Declare Your Language
DLS
I: Eelco Visser Delft University of Technology
Link to publication DOI Media Attached
09:40
20m
Talk
From APIs to Languages: Generalising Method Names
DLS
James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington
Pre-print