>
> I basically still hold that Yaron's original objection is baseless in face
> of established good OO practice in C++/Java/C#/...
>
> I do understand the limitations of the popular OO model, of course, and
> the benefits of Jane Street choosing OCaml. I was merely trying to
> understand what I don't understand about the popular OO model that
> would have Yaron complain about not being able to tell which exact
> method is being called... It, somehow, is not an issue for me, not in
> well designed C++ codebases at least.

I thought he was talking about the effects of runtime polymorphism on
static code analysis. You can't tell which method is invoked if the
method is virtual.