Well, you can interpret the program's text as a declarative (and completely static) approach to describe what will happen at runtime. But you can actually see

Well, you can interpret the program's text as a declarative (and completely static) approach to describe what will happen at runtime. But you can actually see this dichotomy in template libraries, they usually have constructs making them fully Turing-complete (loops, conditionals, etc).