Declarative/logic is a bit of meta-state IMO, the only state is exploration space, but the actual information has no state per se. Also I wonder if algebraic t

Declarative/logic is a bit of meta-state IMO, the only state is exploration space, but the actual information has no state per se. Also I wonder if algebraic thinking is not different from state, since you map / combine subsets of the domain[0] with more interesting operations. You don't got from 2->3->4, you can (+ 2 2). [0] which some would say, is state, but here it's reified as a standalone value