Metalinguistic Abstraction and its Role in System Design

Key Insight

Expert programmers manage design complexity using general techniques: combining primitive elements into compound objects, abstracting these into higher-level building blocks, and preserving modularity through appropriate large-scale views. While Lisp is used for describing processes and constructing computational data objects, any fixed programming language eventually becomes insufficient for increasingly complex problems. Thus, there is a constant need to establish new languages to express ideas more effectively.

Establishing new languages, known as metalinguistic abstraction, is a powerful strategy for controlling complexity in engineering design. It enhances problem-solving ability by allowing description and thought processes to adapt to the problem at hand, utilizing primitives, means of combination, and abstraction mechanisms specifically suited to it. This concept is pervasive in all engineering fields, for example, electrical engineers use distinct languages like network language for physical device modeling and system language for functional signal processing, with each language built upon the previous one.

Metalinguistic abstraction is particularly crucial in computer programming because programmers can not only formulate new languages but also implement them by constructing evaluators. An evaluator, or interpreter, is a procedure that executes the actions required to evaluate an expression in a given language. This fundamental idea, that 'The evaluator, which determines the meaning of expressions in a programming language, is just another program,' shifts the programmer's role from merely using existing languages to actively designing them, viewing almost any program as an evaluator for a specialized language.