How functional programming mattered

In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming matters’. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding ‘Yes!’. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs

Prehistoric Pinus woodland dynamics in an upland landscape in northern Scotland: the roles of climate change and human impact

Pollen, microscopic charcoal, palaeohydrological and dendrochronological analyses are applied to a radiocarbon and tephrochronologically dated mid Holocene (ca. 8500–3000 cal B.P.) peat sequence with abundant fossil Pinus (pine) wood. The Pinus populations on peat fluctuated considerably over the period in question. Colonisation by Pinus from ca. 7900–7600 cal B.P. appears to have had no specific environmental trigger; it was probably determined by the rate of migration from particular populations. The second phase, at ca. 5000–4400 cal B.P., was facilitated by anthropogenic interference that reduced competition from other trees. The pollen record shows two Pinus declines. The first at ca. 6200–5500 cal B.P. was caused by a series of rapid and frequent climatic shifts. The second, the so-called pine decline, was very gradual (ca. 4200–3300 cal B.P.) at Loch Farlary and may not have been related to climate change as is often supposed. Low intensity but sustained grazing pressures were more important. Throughout the mid Holocene, the frequency and intensity of burning in these open Pinus–Calluna woods were probably highly sensitive to hydrological (climatic) change. Axe marks on several trees are related to the mid to late Bronze Age, i.e., long after the trees had died