Turing completeness is maybe not desirable... look at what happened when YAML was allowed to create objects of any class it liked. I like your declarative lang

Turing completeness is maybe not desirable... look at what happened when YAML was allowed to create objects of any class it liked. I like your declarative language idea very much, though. As long as it cannot execute arbitrary code.