Generic point-free lenses

Lenses are one the most popular approaches to define bidirectional transformations between data models. A bidirectional transformation with view-update, denoted a lens, encompasses the definition of a forward transformation projecting concrete models into abstract views, together with a backward transformation instructing how to translate an abstract view to an update over concrete models. In this paper we show that most of the standard point-free combinators can be lifted to lenses with suitable backward semantics, allowing us to use the point-free style to define powerful bidirectional transformations by composition. We also demonstrate how to define generic lenses over arbitrary inductive data types by lifting standard recursion patterns, like folds or unfolds. To exemplify the power of this approach, we “lensify” some standard functions over naturals and lists, which are tricky to define directly “by-hand” using explicit recursion

Weak capture of protons by protons

The cross section for the proton weak capture reaction $^1H(p,e^+\nu_e)^2H$ is calculated with wave functions obtained from a number of modern, realistic high-precision interactions. To minimize the uncertainty in the axial two-body current operator, its matrix element has been adjusted to reproduce the measured Gamow-Teller matrix element of tritium $\beta$ decay in model calculations using trinucleon wave functions from these interactions. A thorough analysis of the ambiguities that this procedure introduces in evaluating the two-body current contribution to the pp capture is given. Its inherent model dependence is in fact found to be very weak. The overlap integral $\Lambda^2(E=0)$ for the pp capture is predicted to be in the range 7.05--7.06, including the axial two-body current contribution, for all interactions considered.Comment: 17 pages RevTeX (twocolumn), 5 postscript figure

Bidirectional transformations: A cross-discipline perspective

was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners from a variety of subdisciplines of computer science to share research efforts and help create a new community. In this report, we survey the state of the art and summarize the technical presentations delivered at the meeting. We also describe some insights gathered from our discussions and introduce a new effort to establish a benchmark for bidirectional transformations.