From APIs to Languages: Generalising Method Names
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 (GMT-04:00) Eastern Time (US & Canada) change
|08:30 - 08:40|
|08:40 - 09:40|
Eelco VisserDelft University of TechnologyLink to publication DOI Media Attached
|09:40 - 10:00|
James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of WellingtonPre-print