> We're moving from imperative programming (telling computers how) to declarative (describing what) to natural language goal specification. We have that a long

> We're moving from imperative programming (telling computers how) to declarative (describing what) to natural language goal specification. We have that a long time ago with Prolog (53 years ago). Which is just a formal notation for logical proposition. Lambda calculus isn’t imperative as you’re describing relations between inputs and outputs. The more complex the project, the more detailed a spec needs to be and the more efficient code is compared to natural languages at getting the details across.