@Kartik Agaram I like the idea of talking in terms of what a project is sacrificing to achieve it’s goal. After all, if a significant trade-off wasn’t required, we’d expect it to be done already.

One of the things we should acknowledge sacrificing (because everyone has been doing it tacitly for a long time) is general-purpose programming. That's a useful theoretical concept (Turing machines etc.), but every real programming system (hardware plus development tools) makes choices that render it impractical for many applications. And once you give up the general-purpose dream, maybe Turing completeness becomes less relevant as well, given that it creates so many opportunities for nasty bugs (see https://hal.archives-ouvertes.fr/hal-02071770).