Lambda the Ultimate

Continuing with the crazy PL/HCI papers, here is another one, this time as a recent Onward essay, abstract (sorry, the ACM link was the only thing I could dig up):

Research in the area of programming languages has different facets – from formal reasoning about new programming language constructs (such as type soundness proofs for new type systems) over inventions of new abstractions, up to performance measurements of virtual machines. A closer look into the underlying research methods reveals a distressing characteristic of programming language research: developers, which are the main audience for new language constructs, are hardly considered in the research process. As a consequence, it is simply not possible to state whether a new construct that requires some kind of interaction with the developer has any positive impact on the construction of software. This paper argues for appropriate research methods in programming language research that rely on studies of developers – and argues that the introduction of corresponding empirical methods not only requires a new understanding of research but also a different view on how to teach software science to students.