inferenza di tipo non riesce misteriosamente

Question

Perché quanto segue non riescono a dedurre R:

static R Foo<R>(Func<Action<R>, R> call) { ... } 

Mentre più o meno lo 'stesso', funziona:

static R Foo<R>(Func<Action, R> call) { ... } 

utilizzo:

var i = Foo(ec => -1); 

Ways il primo campione "deve" essere chiamato per compilare:

var i = Foo<int>(ec => -1); 

- o -

var i = Foo((Action<int> ec) => -1); 

Pensieri: Come si può vedere nel secondo frammento di, R è già determinato dal tipo di ritorno del 'lambda'. Perché lo stesso non può valere per il primo? Anche con l'utilizzo di ec (che dovrebbe essere un altro suggerimento del compilatore), non riesce a dedurre.

Answer 1

Penso che il problema non è che il compilatore, se non riuscire a dedurre R per la funzione CallWithEscapeContinuation, è che non riesce a dedurre un tipo per il lambda:

ec => 
{ 
    Enumerable.Range(0, 100).Select(x => 
    { 
       // Called here, the compiler has no idea what signature to expect for `ec` 
       // Could be Action<Int>, could be Action<Decimal> (for example). 
    if (x == 40) ec(x); 
    return x; 
    }).ToList(); 
    return -1; 
} 

Considerando che quando si fornisce il int suggerimento, può dedurre che tipo è la lambda e la firma di CallWithEscapeContinuation.

Quando hai appena Action (al contrario di Action<R>) quanto sopra è irrilevante perché non ci sono parametri di tipo che influenzano le possibili firme della lambda.