Why declarative? Why pure? Why isolate? Composition.
To wit: lets you hotpatch UI code preserving state gaearon.github.io/react-hot-load
Conversation
What's interesting is you only need perceived purity across isolation boundaries. This is the trick of the Haskell IO type!
1
Replying to
Hm, yes! Not quite able to state this precisely: but you're probably gonna rely on the semantics of >>= across boundaries, right?
Replying to
I guess I was thinking that do-notation looks imperative inside but pure from the outside. But basically, yes!