This summer we hosted the first International Summer School for Metaprogramming at Robinson College, Cambridge. The event was a huge success and it would not have been possible without the generous financial support from our industrial parters: Facebook, Microsoft, Oracle and OCaml Labs. We were fortunate to have an overwhelming number of people register interest, and we welcomed students and speakers from 12 different countries, all with varying expertise and experience in the metaprogramming field. The goal of the school was to present recent research and development in the relatively modest field and we hoped to encourage discussion and collaboration amongst a diverse group of users and researchers.
Robinson College provided the venue and accommodation, and the purpose-built, well-provisioned Crausaz Wordsworth conference building ensured that the group was well catered for. Students and speakers had access to the beautiful college gardens to explore during their residential stay, and the days were packed with presentations, demos and talks, with excited conversation continuing into the evenings.
In order to balance the high-focus schedule with some downtime, we punted along the meadows towards Grantchester, in hunt of the obligatory cream tea. Almost everyone had a “punt” and a jolly mix of crashing, 3-point turns, laughter, debates about the most efficient method of propulsion method and successful bridge jumping made for a fun afternoon in the sun. Darwin College hosted us for our evening banquet, where we were lucky to have the entire dining room to ourselves, a chance for lovely walks across the islands, and a local caricaturist on hand to draw the guests.
The school was a fantastic opportunity to gather specialists and newcomers within this research field, and initial feedback has been very positive, especially with regards to the relaxed and collaborative atmosphere. We hope this will help to grow the metaprogramming community, and we encourage others to host and organise similar events in the future.
- Quoted DLSs: Philip Wadler
- Normalisation by evaluation: Sam Lindley
- Embedding by normalisation: Shayan Najd.
- Type-safe embedding and optimising DSLs in the typed final style:
- Self-specialising interpreters and partial evaluation: Chris Seaton
- Comparing approaches to generic programming: José Pedro Magalhães
- A generic deriving mechanism of Haskell
- A formal comparison of approaches to datatype-generic programming
- Media:Macros.pdf The highs and lows of macros in the modern language: Laurence Tratt
- Multi-stage programming Part 1, Multi-stage programming Part 2: Jeremy Yallop
- Foundations of metaprogramming: Martin Berger
- A reflection on types/Template Haskell 14 years on: Simon Peyton Jones
- Lightning talks:
- Mietek Bak: Towards intentional analysis of syntax
- Kwanghoon Choi: SMLOG: an embedding of logic language in Standard ML
- Artúr Poór: Parallelization of Scala programs by refactoring
- Aggelos Biboudis: Stream Fusion to perfection
- L. Thomas van Binsbergen: Reusable components for formal and executable language specification (from the PLanCompS project)
- Michael Ballantyne: Modelling macro hygiene with scope graphs
- Paul Laforgue: Codata types and copattern matching
- Multicore OCaml ARM64 Backend
- Cambio, OCaml and Karaoke at the MirageOS Marrakech Hack Retreat 2017
- Using Menhir to Build Grammar Attributes
- OCaml 4.04.1 Released
- Parsing the Email Standard with TypeBeat
- An OCaml Backend for Agda with Malfunctional Programming
- Databox Open-Source Software Community Launch
- Composable Builds for OCaml with Jbuilder
- MirageOS Hack Updates
- Algebraic Subtyping: PhD thesis