Re: Overring function and its returned type

[Maciej Sobczak <see.my.homepage@gmail.com>]

W dniu czwartek, 15 listopada 2012 16:13:06 UTC+1 użytkownik Peter C. Chapin napisał:

> I talked with some people in the Scala community and it turns out the 
> reason for the restriction is related to overload resolution and 
> ambiguity.

Which have a very simple solution: report the problem when (and *only* when) there is a problem.

> To illustrate let me start with a simple derivation class:

> In that 
> case which F is being overridden here?

In the case of ambiguity, let the compiler inform you about that.

The problem is that this single example is very artificial and represents some corner case that might actually never materialize in any of our projects. There are many more examples that are practical and do not hit any corner cases of overload resolution and that could be easily handled - and therefore could become an added value in the type system.

-- 
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com