0
$\begingroup$

In this antipattern, you have level-0 constructs of the language, which are then abstracted over by creating level-1 constructions, and these level-1 abstractions are abstracted over by creating level-2 constructions, etc....

The problem is that each of these levels beyond 0 is a "shadow world" and an infinite tower of shadow-worlds is not tractable. What ways have computer scientists came up with to eliminate shadow worlds?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.