History of Declarative Programming (2021)

It’s been said that structured programming is programming without GOTO, and functional programming is programming without assignment statements. Is declarative programming then programming without the concept of linear time?

The Shen project is quite fascinating - and tedious to work with, as evidenced by this book of images across different pages etc.

Very interesting historical document, though I don't have that much confidence in the precision of the explanation of the terms.

Related to this: does anyone know if there's any document that delves into how Church landed on Church numerals in particular? I get how they work, etc, but at least the papers I saw from him seem to just drop the definition out of thin air.

Were church numerals capturing some canonical representation of naturals in logic that was just known in the domain at the time? Are there any notes or the like that provide more insight?

Oh god. Where is the pdf. This format is horrible to read from