I guess you could view it that way. I am more used to thinking of it in terms of having function values (closures), but I think you could argue the lexical sco

I guess you could view it that way. I am more used to thinking of it in terms of having function values (closures), but I think you could argue the lexical scoping that leads to SSA is all that's necessary once you have closures. In any case, the vast majority of the lisp code I've read has been imperative and non-functional.