The second example, single assignment form, is useful for walking through the function based on time/computation-sequence. Very good for making assertions in the middle of the code somewhere.

edit: I forgot to mention that Dijkstra had some complaints when Functional Programming first reared its head, http://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EW...