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

dls2015
08:30 - 10:00: DLS - Session 1, Language Design at Grand Station 3
dls201508:30 - 08:40
Day opening
dls201508:40 - 09:40
Talk
Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
dls201509:40 - 10:00
Talk
James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
Pre-print