7 European Lisp Symposium
Total Page:16
File Type:pdf, Size:1020Kb
Proceedings of ELS 2014 7th European Lisp Symposium May 5 – 6 2014 IRCAM, Paris, France ISSN: 2677-3465 Preface Message from the Programme Chair Greetings, members of the Lisp Community. We are a diverse community. Some have been programming in Lisp for some time, some are just starting out, and some are even just peering in curiously from outside—including, in some cases, family and friends. A variety of dialects are represented as well: Common Lisp, Racket, Clojure and Emacs Lisp to name a few about which we have papers. But we’ve invited attendance from Scheme, AutoLisp, ISLISP, Dylan, ACL2, ECMAScript, SKILL, and Hop. Even then, I’m sure to have left some out. The important thing is that these are all Lisp. In the work I did with language stands, I recall John McCarthy specifically asking that ANSI and the ISO not name their work product anything that appeared to claim the whole of the name Lisp. He wanted to reserve that for the family of languages, which he felt should continue to freely evolve and add new members. This gathering honors that spirit by inviting that whole extended family. So, to all of this diverse community: Welcome! We’re all from different backgrounds, but each brings something to contribute in terms of ex- perience, interest, or enthusiasm. We are different, but today we’re also all equals, here to exchange ideas and energy. In that spirit, please make sure to visit not just with old friends but also with those you have not met, making them feel that sense of welcome so they’ll have reason to return and you’ll have even more old friends the next time. Or, if you’re new, please don’t be shy: Step up and introduce yourself to any among us even if we’ve slipped and forgotten to reach out to you. Also, please find a time during the conference to thank Didier Verna and Gérard Assayag for acting as Local Chairs, and to thank members of the program committee for working on a very tight time schedule to select the papers and provide excellent quality feedback to authors. Thanks are also due to IRCAM, which has provided our intellectually stimulating venue as well as practical logistical support. And, of course, the backbone of the conference is the ac- tual content, so make sure to tell the invited speakers, the paper presenters, those performing demonstrations, and those who offer lightning talks that their presence has made a difference. As you can probably see, a lot goes into preparing a conference like this, and no one’s getting rich off of it —– at least not in money. But your stated appreciation will go a long way toward making the effort of all of these people seem worthwhile. Thanks also to you for attending. This conference would be nothing without attendees. I hope you have a great time. Kent Pitman ELS 2014 iii Message from the Local Chair Welcome to Paris! ELS 2014 is undoubtedly one of the most successful events in the European Lisp Symposium series, with almost 80 delegates from nearly 20 countries, including quite distant ones such as Japan, India and the United States of America. More than just “European”, ELS is now indeed fully international. It is great to see such a crowd gathering in Paris, and I hope you will have a great time meet- ing fellow lispers from all over the world, visiting the “Lambda Tower” and all the touristic wonders Paris has to offer. As a part-time researcher, part-time musician, I need to stress that holding the symposium at IRCAM is also a very special pleasure for me. IRCAM is an amazing place for music research and also a nest of hard-core lispers. We couldn’t have hoped for a better place. In that regard, I am deeply grateful to my co-local chair, Gérard Assayag, without whom this would simply not have been possible. In order to organize an event like this one, many other people work in the shadows, although shadows are crucial to make ELS a bright event. I need to extend my warmest thanks to Daniela Becker and Sylvie Benoît, who took care of a lot of things. Like every year, our sponsors also are of a tremendous importance, so thank you, EPITA, CNRS, UPMC, LispWorks, and Franz! Finally, and this time, not as a local chair but as the president of the European Lisp Sympo- sium’s steering committee, I wish to express my deepest gratitude to Kent Pitman, who ac- cepted the role of programme chair this year, perhaps not knowing exactly what he was getting into. From where I stand, working with Kent has been a very smooth experience, one that I would redo anytime. Let us now hope that you will have as much fun attending the symposium that we had orga- nizing it. In just one sexp. (have :fun #n!) Organization Programme Chair • Kent M. Pitman, Hypermeta Inc., USA Local Chairs • Didier Verna, EPITA/LRDE, Paris, France • Gérard Assayag, IRCAM, UMR STMS (CNRS, UPMC), France Programme Committee • Marie Beurton-Aimar, LaBRI, University of Bordeaux, France • Pierre Parquier, IBM France Lab, Paris, France • Rainer Joswig, Hamburg, Germany • Guiseppe Attardi, Università di Pisa, Italy • Taiichi Yuasa, Kyoto University, Japan • António Leitão, IST/Universidade de Lisboa, Portugal • Christophe Rhodes, Goldsmiths, University of London, UK • Olin Shivers, Northeastern University, USA • Charlotte Herzeel, IMEC, ExaScience Life Lab, Leuven, Belgium Organizing Committee • Daniela Becker, EPITA/LRDE, Paris, France • Sylvie Benoit, IRCAM, Paris, France ELS 2014 v Sponsors EPITA 14-16 rue Voltaire FR-94276 Le Kremlin-Bicêtre CEDEX France www.epita.fr IRCAM UMR STMS (CNRS, UPMC) Institut de Recherche et Coordination Acoustique / Musique 1, place Igor-Stravinsky 75004 Paris France www.ircam.fr LispWorks Ltd. St John’s Innovation Centre Cowley Road Cambridge CB4 0WS England www.lispworks.com Franz Inc. 2201 Broadway, Suite 715 Oakland, CA 94612 www.franz.com vi ELS 2014 Contents Preface iii Message from the Programme Chair . iii Message from the Local Chair . iv Organization v Programme Chair . .v Local Chairs . .v Programme Committee . .v Organizing Committee . .v Sponsors . vi Invited Talks 1 Making Creativity: Software as Creative Partner – Richard P. Gabriel ...........1 Parallel Programming with Lisp, for Performance – Pascal Costanza ...........2 Sending Beams into the Parallel Cube – Gábor Melis ....................2 Session I: Language and Libraries 3 CLAUDE: The Common Lisp Library Audience Expansion Toolkit – Nick Levine ....4 ASDF3, or Why Lisp is Now an Acceptable Scripting Language – François-René Rideau 12 Generalizers: New Metaobjects for Generalized Dispatch – Christophe Rhodes, Jan Morin- gen and David Lichteblau .................................. 20 Session II: Demonstrations 29 web-mode.el: Heterogeneous Recursive Code Parsing with Emacs Lisp – François- Xavier Bois ......................................... 30 The OMAS Multi-Agent Platform – Jean-Paul Barthès .................... 33 Yet Another Wiki – Alain Marty ................................ 35 Session III: Application and Deployment Issues 37 High performance Concurrency in Common Lisp: Hybrid Transactional Memory with STMX – Massimiliano Ghilardi .............................. 38 A Functional Approach for Disruptive Event Discovery and Policy Monitoring in Mo- bility Scenarios – Ignasi Gómez-Sebastià, Luis Oliva, Sergio Alvarez-Napagao, Dario Garcia-Gasulla, Arturo Tejeda and Javier Vazquez ..................... 46 A Racket-Based Robot to Teach First-Year Computer Science – Franco Raimondi, Giuseppe Primiero, Kelly Androutsopoulos, Nikos Gorogiannis, Martin Loomes, Michael Margo- lis, Puja Varsani, Nick Weldin and Alex Zivanovic .................... 54 Session IV: Crossing the Language Barrier 63 A need for Multilingual Names – Jean-Paul Barthès ..................... 64 An Implementation of Python for Racket – Pedro Ramos and António Leitão ....... 72 Defmacro for C: Lightweight, Ad Hoc Code Generation – Kai Selgrad, Alexander Lier, Markus Wittmann, Daniel Lohmann and Marc Stamminger ............... 80 ELS 2014 vii Invited Talks Making Creativity: Software as Creative Partner Richard P.Gabriel, IBM, Redwood City, CA, USA Programming, software development, and software engineering: We are taught to solve puzzles and do what we’re told. We carry these lessons into our jobs and careers without deliberation. Old fashioned software engineering aims to make no mistakes; agile aims to render program- mers compliant, and commands them make money for their bosses. For the past year I’ve been exploring what creativity means during the act of writing, and I’ve been doing it by construct- ing a software partner that acts as a scientific engine of discovery –— a partner that displays a flair for the strange that even the most daring poets can rarely match. I don’t have require- ments, I don’t have specifications, and I normally don’t have a plan much beyond a guess. If my program doesn’t surprise me, I cry “failure!” and lament. I’ll explore what programming is, how software can act as a collaborator, show you how the agile practices are like training wheels, and explain how a program can astound. All in Lisp, of course. Richard P. “Dick” Gabriel overcame a hardscrabble, working-class upbringing in the dreadfully indus- trialized and famously polluted Merrimack Valley of eastern Massachusetts to become one of the few genuine Renaissance men to emerge from the OO milieu: scholar, scientist, poet, performance artist, entrepreneur, musician, essayist, and yes, hacker. Though somewhat less well-endowed of the effortless intellectual incandescence, easy charisma, and raw animal magnetism of so many of his generation of future object-oriented luminaries, he was able, with discipline, determination, and hard work, to survive the grueling demands of elite, first-tier academic institutions such as MIT, Stanford and UIUC to earn his PhD and become a leader among the burgeoning legions of Lisp-dom during the early nineties. However, after a series of the inevitable, endemic startup setbacks that the Internet boom all too often left in its wake, Gabriel grew weary of the cold, cloistered, celibate tedium of engineering culture, and fell willing prey to the lure of the exotic social and intellectual stimulation and blandishments that only the Liberal Arts could offer.