Declarative descriptions are powerful and give safety guarantees by design. Doing everything in an imperative language makes basically every property undecidabl

Declarative descriptions are powerful and give safety guarantees by design. Doing everything in an imperative language makes basically every property undecidable. I would want termination of the layouting process to be terminating.