(Also it's not really a pyramid, it's a graph; programming languages et al. obviously rely on theoretical computer science, and theoretical CS is a branch of mathematics and as such not limited by the ...

Putting those two regimes behind an abstraction that purports to treat them the same is... questionable. Yes, questionable. Questionable and fun! The name of the game is fun new languages, after all, ...