This is not true. All abstractions do not leak. Granted however, most framework and even language designers appear to have a poor grasp of formal computational

This is not true. All abstractions do not leak. Granted however, most framework and even language designers appear to have a poor grasp of formal computational semantics, and thus their designs suffer as you describe.