> as a result, seeing how eliminating state is far from the only way to tame it. I agree! Elimination is but an extreme form of control :) I have strong hopes

> as a result, seeing how eliminating state is far from the only way to tame it. I agree! Elimination is but an extreme form of control :) I have strong hopes that logic programming will provide the next generation of formal tools for controlling (rather than eliminating) state. My ideal paradigm would be "logical shell, functional core" (swapping out "imperative shell"). But logical methods are (a) unknown, (b) niche, and (c) overshadowed by the barest treatment students receive of Prolog, so there's still a long way to go here. (FWIW, I think of things like LVars, CRDTs, and distributed protocols more broadly as having a fundamentally logical flavor. See the recent CALM Theorem for more on that.) (EDIT: Here's a very recent comment I made where I dig a bit more into those logical items. https://news.ycombinator.com/item?id=25567740 https://news.ycombinator.com/item?id=25567740)