Duby dynamic dispatch has landed!

[John Rose]

On Mar 25, 2010, at 8:12 AM, Rémi Forax wrote:

> I've also found useful to propagate expected type back to the calling 
> method.
> Example:
> if (foo()) { ... }
> 
> should be translated to indy foo ()Z instead of ()Object because if () 
> wait for a boolean.

Besides booleans, this is probably most useful for the return type void.  It's easy for a MH adapter to drop a value, but harder to create one from a void method.  So there's a likely performance benefit from declaring that you don't care about the return value.

-- John