Disagree. The abstractions they are talking about aren't like, the y-combinator. They're talking about boring software engineering abstractions.