SPLASH 2015 (series) / DLS 2015 (series) / DLS 2015 /
From APIs to Languages: Generalising Method Names
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 OctDisplayed time zone: Eastern Time (US & Canada) change
Tue 27 Oct
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:00 | |||
08:30 10mDay opening | Welcome and Introduction DLS | ||
08:40 60mTalk | DLS Keynote: Declare Your Language DLS Link to publication DOI Media Attached | ||
09:40 20mTalk | 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 |