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.