> From: da...@davidarno.org
> 
> We put in place a catch-all foo that handles all the situations where the
> compiler cannot work out the mapping at compile time.
> 
> Thoughts?
> 
> David.
> 


"type inference should be able to figure out what method signature is being 
targeted, and whether the call can be resolved unambiguously at run time."
By Avik Chaudhuri 


Type inference as been implemented in Falcon.
http://blogs.adobe.com/avikchaudhuri/2011/01/19/setting-the-context/ 

And for the ambiguous types, any method that supports it can be called.

Frédéric Thomas
                                          

Reply via email to