If your type system or log formatter is turing-complete, it can be exploited to do arbitrary unintended things.