Sun Jan 27 20:11:23 CET 2013
Why not simply OO then?
- In OO, the distinction of instance / class needs to be made. Using
the `feedback' mechanism this is handled automatically: each
reference of a stateful method introduces a new set of state
- Analysis of a data flow structure that contains mutation (instead of
binding) is more difficult. However, it can be recovered. This is
what conversion to SSA form does, but it seems better to do it
straight a way.