While I agree with the author with respect to his main point, I think the term leaky abstraction side-tracks the discussion. It is simply about wrong abstractions.

See also: https://www.sandimetz.com/blog/2016/1/20/the-wrong-abstracti...