One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject.

Plotkin and Pretnar’s effect handlers offer a versatile abstraction for modular programming with user-defined effects. This paper focuses on foundations for implementing effect handlers, for the three different kinds of effect handlers that have been proposed in the literature: deep, shallow, and parameterised. Traditional deep handlers are defined by folds over computation trees and are the original construct proposed by Plotkin and Pretnar. Shallow handlers are defined by case splits (rather than folds) over computation trees. Parameterised handlers are deep handlers extended with a state value that is threaded through the folds over computation trees. We formulate the extensions both directly and via encodings in terms of deep handlers and illustrate how the direct implementations avoid the generation of unnecessary closures. We give two distinct foundational implementations of all the kinds of handlers we consider: a continuation-passing style (CPS) transformation and a CEK-style abstract machine. In both cases, the key ingredient is a generalisation of the notion of continuation to accommodate stacks of effect handlers. We obtain our CPS translation through a series of refinements as follows. We begin with a first-order CPS translation into untyped lambda calculus which manages a stack of continuations and handlers as a curried sequence of arguments. We then refine the initial CPS translation by uncurrying it to yield a properly tail-recursive translation and then moving towards more and more intensional representations of continuations in order to support different kinds of effect handlers. Finally, we make the translation higher order in order to contract administrative redexes at translation time. Our abstract machine design then uses the same generalised continuation representation as the CPS translation. We have implemented both the abstract machine and the CPS transformation (plus extensions) as backends for the Links web programming language.

Synthetic biology has a huge potential to produce the next generation of advanced materials by accessing previously unreachable (bio)chemical space. In this prospective review, we take a snapshot of current activity in this rapidly developing area, focusing on prominent examples for high-performance applications such as those required for protective materials and the aerospace sector. The continued growth of this emerging field will be facilitated by the convergence of expertise from a range of diverse disciplines, including molecular biology, polymer chemistry, materials science, and process engineering. This review highlights the most significant recent advances and addresses the cross-disciplinary challenges currently being faced.

The first detailed investigation of the human remains from the Carrowkeel passage tomb complex since their excavation in 1911 has revealed several new and important insights about life, death, and mortuary practice in Neolithic Ireland. Osteological analysis provides the first conclusive proof for the occurrence of dismemberment of the dead at Irish passage tombs, practised contemporarily with cremation as one of a suite of funerary treatments. The research also highlights changes in burial tradition at the complex over the course of the Neolithic. Providing a chronology for these changes allows them to be linked to wider trends in monument construction, which may relate to changes in both land use and climate during the period. Multi-isotope analysis hints at the presence of non-local individuals among the interred and the possible existence of different food sourcing areas at the onset of the later Neolithic period. Preliminary results from ancient DNA sequencing of six individuals from Carrowkeel provide evidence for the genetic ancestry of Irish Neolithic populations, demonstrating their Anatolian origins and links along the Atlantic façade.