If you're interested in this thread I highly recommend Backus's "Can Programming be Liberated from the Von Nueman Style". It covers both the evils of accumulators, as well as creating languages with provable algebraic properties. Certainly I don't think anyone today would really enjoy programming in FP or FL, but I do think his thoughts are ripe for modernizing.