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?


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.