> One way to think about “declarative programming” is via an analogy to a system of “simultaneous equations”. If there is a solver that can solve them, then it

> One way to think about “declarative programming” is via an analogy to a system of “simultaneous equations”. If there is a solver that can solve them, then it is extremely handy to just add a new equation for each new situation, and let the solver find a viable solution for all together. This sounds about right. We should use more declarative constructs. My choice would be functional programming at the lower-levels and DSLs at the higher ones. When I say DSL I mean in the semantics rather than a popular left-to-right readable syntax. Though not mutually exclusive the latter can detract from the former.