leaky abstractions require the occasional lid-lifting... and all abstractions have a tendency to leak somewhere or other, especially if they attempt to be all encompassing.
I think FP is certainly a viable high-level specification but ultimately there is lower-level code 'getting stuff done' (lol, "side effects")
One has to be at least roughly aware of HOW ones specification is getting implemented in order to solve problems that arise and in order to optimize.
This is all the more compelling reason to cease this relentless push to "cram more stuff down the tubes"
or "add more layers to the stack"
I honestly think that we need to return to KIS/KISS (keeping it simple)
SIMPLIFY and remove extraneous stuff that prevents one from having a total mental model of what is happening.
