Abstraction: The Core Mechanism for Controlling Complexity in Computing

1) The Essence and Definition of Abstraction

The article opens with four foundational perspectives on abstraction:

Locke's definition : "The third is separating them from all other ideas that accompany them in their real existence: this is called abstraction, and thus all its general ideas are made."

Weyl's definition : "We now come to the decisive step of mathematical abstraction: we forget about what the symbols stand for... there are many operations which he may carry out with these symbols, without ever having to look at the things they stand for."

Controlling complexity : "We control complexity by building abstractions that hide details when appropriate."

Language element : A powerful language provides "means of abstraction, by which compound elements can be named and manipulated as units."

2) Computational Abstraction

Constant declaration : "Constant declaration is our language's simplest means of abstraction, for it allows us to use simple names to refer to the results of compound operations..."

Functions as black-box abstractions : "...functions are, in effect, abstractions that describe compound operations on numbers independent of the particular numbers... compound functions are a crucial abstraction mechanism, because they permit us to express general methods of computing as explicit elements in our programming language."

Black-box view : "...we are able to regard the square function as a 'black box.' We are not at that moment concerned with how the function computes its result, only with the fact that it computes the square... At this level of abstraction, any function that computes the square is equally good."

Abstracting patterns : "The presence of such a common pattern is strong evidence that there is a useful abstraction waiting to be brought to the surface."

Abstracting general computational methods : "With higher-order functions... we began to see a more powerful kind of abstraction: functions used to express general methods of computation, independent of the particular functions involved."

Explicit representation of abstractions : "The significance of higher-order functions is that they enable us to represent these abstractions explicitly as elements in our programming language..."

Computational abstraction packages concrete operational steps into black boxes. Users only need to care about the functional contract (what it does), not the internal algorithm (how it does it). Higher-order functions further elevate abstraction by allowing "algorithm structures/patterns themselves" to be passed as arguments or returned as values.

3) Data Abstraction

Compound data and conceptual levels : "...the ability to construct compound data objects enables us to deal with data at a higher conceptual level than that of the primitive data objects of the language."

Definition of data abstraction : "The general technique of isolating the parts of a program that deal with how data objects are represented from the parts of a program that deal with how data objects are used is a powerful design methodology called data abstraction."

Role of abstraction barriers : "The horizontal lines represent abstraction barriers that isolate different 'levels' of the system... separates the programs (above) that use the data abstraction from the programs (below) that implement the data abstraction... gives us a way to defer that decision without losing the ability to make progress on the rest of the system."

Through constructors and selectors, abstraction barriers completely decouple "how data is used" from "the underlying concrete data structure/representation." This not only improves modularity but also allows the system to defer or freely swap underlying representations without breaking upper-layer logic.

4) Metalinguistic Abstraction

Metalinguistic abstraction : "Metalinguistic abstraction—establishing new languages—plays an important role in all branches of engineering design. It is particularly important to computer programming..."

Layered design : "...a complex system should be structured as a sequence of levels that are described using a sequence of languages. Each level is constructed by combining parts that are regarded as primitive at that level, and the parts constructed at each level are used as primitives at the next level..."

When the expressive power of an existing language is insufficient to elegantly solve a problem, the highest form of abstraction is to "create a new language" and implement an evaluator for it on top of the existing system. The entire complex software/hardware stack is built precisely through multiple layers of languages, each equipped with its own primitives, means of combination, and means of abstraction.

Conclusion

In summary: "Abstraction" is the core idea in computer science and indeed all engineering design for controlling complexity. Systems achieve separation of concerns and shielding of implementation details by building abstractions at different levels. The essence of abstraction is "separation and naming" : by stripping away accompanying concrete implementation details, giving a name to a complex compound entity, and manipulating it as a single unit, people can think about and organize systems at a higher conceptual level.