London 2012
Working Group on Language Design
The first official meeting of IFIP TC2 WG2.16 was held in London Feb 27 - Mar 2 2012 at Imperial College, hosted by Susan Eisenbach. The general post-meeting consensus was that we succeeded in having a rich and interesting discussion, and that the format was an improvement over the inaugural meeting. Suggestions for further refinements are encouraged on the mailing list.
See PlanningLondon2012 for the pre-meeting plans.
Themes and Memes
An emergent theme of discussion was the evaluation of programming language designs. We had wide-ranging perspectives including hard empiricism, mathematical elegance, and critical design theory. We started work on a joint manifesto: The Kensington Criteria.Tijs van der Storm gave a talk on "language design smells" in which he proposed an initial taxonomy. Talk of such smells repeatedly arose in later discussions, particularly William Cook's "everything is an x" smell.
We are looking forward to continuing the conversation at Austin2012.
Participants
Name  | Talk | Slides |
|---|---|---|
| Daan Leijen | Koka | |
| Don Syme | Information Rich Programming | |
| Eelco Visser | Spoofax language workbench (demonstration) | Spoofax |
| Erik Ernst | Working with stack intervals rather than invocations, applied to data structure traversal | |
| James Noble | State of Grace | Noble.pdf? |
| Jan-Willem Maessen | Bulk Operations on Indexed Collections | Maessen.pdf? |
| Jonathan Aldrich | Permission-Based Programming | Aldrich.pdf? |
| Jonathan Edwards | Problems of Application Programming | Edwards.pdf? |
| Magne Haveraaen | Can I reason about the code? | |
| Robert Hirschfeld | Design Research and Programming | Hirschfeld.pdf? |
| Roberto Ierusalimschy | Small is Beautiful: the design of LUA | Ierusalimschy.pdf? |
| Sean McDirmid | Escape from the maze of twisty classes | McDirmid.pdf? |
| Sophia Drossopoulou | Trust the Clones; Zeno | Drossopoulouclones.pdf? Drossopoulouzeno.pdf? |
| Stefan Hanenberg | Controlled experiments for the empirical evaluation of programming language constructs: type systems as an example | Hanenberg.pdf? |
| Susan Eisenbach | Shared Memory Concurrency: Lock Inference | Eisenbach.pdf? |
| Tijs van der Storm | Language Design Smells | Storm.pdf? |
| Tom Van Cutsem | Evolution in programming language design? | VanCutsem.pdf? |
| William R. Cook | Managed Data: Rolling You Own Data Structuring Mechanism |
-- JonathanEdwards - 05 Mar 2012
| I | Attachment  | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 | Aldrich.pdf | manage | 405.8 K | 05 Mar 2012 - 15:58 | JonathanEdwards | |
| | Drossopoulouclones.pdf | manage | 2381.8 K | 05 Mar 2012 - 16:01 | JonathanEdwards | |
| | Drossopoulouzeno.pdf | manage | 1019.9 K | 05 Mar 2012 - 16:03 | JonathanEdwards | |
| | Eisenbach.pdf | manage | 592.4 K | 05 Mar 2012 - 16:03 | JonathanEdwards | |
| | Hanenberg.pdf | manage | 1270.8 K | 05 Mar 2012 - 16:03 | JonathanEdwards | |
| | Ierusalimschy.pdf | manage | 72.2 K | 05 Mar 2012 - 16:04 | JonathanEdwards | |
| | Maessen.pdf | manage | 192.2 K | 05 Mar 2012 - 16:04 | JonathanEdwards | |
| | McDirmid.pdf | manage | 2082.4 K | 05 Mar 2012 - 16:05 | JonathanEdwards | |
| | Noble.pdf | manage | 3926.4 K | 05 Mar 2012 - 16:05 | JonathanEdwards | |
| | VanCutsem.pdf | manage | 1315.6 K | 05 Mar 2012 - 16:05 | JonathanEdwards | |
| | Edwards.pdf | manage | 405.1 K | 05 Mar 2012 - 16:35 | JonathanEdwards | |
| | Hirschfeld.pdf | manage | 6880.3 K | 05 Mar 2012 - 16:40 | JonathanEdwards | |
| | Storm.pdf | manage | 2009.1 K | 05 Mar 2012 - 23:51 | JonathanEdwards |