On 5 May, 17:37, "Dmitry A. Kazakov"    
   wrote:   
      
   > I think a consistent types system would be a better way. In Ada it   
   > is always known if a call is dispatching or not. That is because of   
   > proper typing. When an object is of a specific type, its methods   
   > never dispatch, for that obvious reason, that the type is known to   
   > be specific.   
      
   From what I've read about it, in Ada you can actually statically or   
   dynamically dispatch depending on *how* you call the subprogram. I've   
   not tried this BTW, but would love to see an example :D   
      
   Luke.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)