> > ? Kay's definition of OOP necessarily implies imperative behaviour. > OCaml has purely functional object update IIRC. That's OK, but it doesn't seem to agree with Kay's definition. Erlang definitely does.