Rainer Deyke wrote:
Andrei Alexandrescu wrote:
Hm, I guess I should have been more explicit. The problem isn't defining
a few more names, but that the explanation completely neglects any
control flow issues (e.g. conditionals and loops). You can't define a
new name for each instance of a loop, so everything is recursion etc. I
mean the consequences are earth-shattering.
The implications of single assignment on control structures seem both
insignificant and obvious to me. Much more troubling is that it doesn't
work for fields and array elements at all.
Good point - among other things, it explains why FP by and large tries
to convince all who want to listen that arrays are no good :o).
Andrei
