3 ms·

I mean, if you look at all these SSA compilers for imperative languages, then it is indeed functional programming all the way down.

• convolvatron 3y ago
  I wonder if there is a similar factoring that would factor out mutability. a log I guess.
  • mrkeen 3y ago
    That is what SSA is: single static assignment.
    • convolvatron 3y ago
      for locally scoped variables, not for referents