In theory you wouldn't have many "local variables" if you followed functional practices.

Re: "you just have the assurance that the values of any local state are purely dependent on the inputs to the function and not any other external state."

I don't see that principle helping much in practice.