Re: procedural vs object oriented

[Jean-Pierre Rosen <rosen@adalog.fr>]

Dmitry A. Kazakov a �crit :
> Well, no:
> 
> if Read (File) then
>    Foo;
> else
>    Bar;
> end if;
> 
> The uncertainty of a dispatching call is one of the context, exactly as in
> the example above. Provided, that there is nothing uncertain in how
> dispatching works or what potential targets do.
> 
Of course, you can assume that every dispatching call is equivalent to a 
case statement over all possibly redefined primitives. That works well 
for one level.

But if you consider that each called primitive may in turn redispatch 
internally, you end up with a combinatorial explosion. In theory, yes, 
the analysis can be performed. In practice, no.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr