It was Erik Meijer who coined the name hylomorphism to describe a computation that consists of a fold after an unfold. The unfold produces a data structure and the fold consumes it.
I could here ſet down the very number of Acres that would bear Bread and Drink, Corn, together with Fleſh, Butter, and Cheeſe, ſufficient to Victual nine Millions of Perſons, as they are Victualled in Ships and regular Families; but I ſhall only ſay in general that 12,000,00. will do it, […]
The increasing scope of the disaster was relayed in short, terse sentences whose brevity does not conceal the unfolding nightmare. […] In mid-afternoon at 1600: “Sit is getting worse; need help badly,” “have considerable number of wounded that are unable to evacuate.”
Because a ton weight of iron let fall, for instance, from a mile high, would, according to their theory, have to be carried on by the Earth's attraction at the extravagant rate of 1,133 miles a minute, besides partaking of the axical turning of the Earth, to fall upon the spot it was immediately over; which is impossible to be conceived that the Earth has such discriminating attraction: nay, independently of axical motion, -- as the globe is stated to fly faster than a ton weight could possibly fall, it is evident, that it would never drop upon the spot it was let fall over, but would according to the quicker rate of the Earth's flying than of the body's fallling, be left behind.
