Functional code can represent an imperative program (using temporal logic or state monads), so it can be used for domains where you would use imperative code.

Functional code can represent an imperative program (using temporal logic or state monads), so it can be used for domains where you would use imperative code. It will not always be easier, but it certainly provides more control over the execution flow.