In a Turing complete language, you can write a program that loops forever, and attempts to allocate an infinite amount of memory. The "total functional programming" model of Dhall prevents you from doing these things, and that's supposed to be a big win. But Dhall does not prevent you from allocating all of the memory in the machine, and it doesn't prevent you from writing a loop that iterates for billions of years. So there's no benefit at all, in terms of protecting you from malicious code.