Sto cercando di capire il grado di inferenza di tipo al lavoro a macchina. Nel seguente esempio di codice, perché è foo's implementazione di baz.esplodevalide? La mia comprensione è che un metodo vuoto partite void.
interface bar {
horace: number;
}
interface baz {
esplode: (string, number) => bool;
}
interface bazzer extends bar, baz { }
var foo: bazzer = {
horace: 12,
esplode: function () { }
}
var x = foo.esplode('crackers', 2);
Grazie!
grazie per dare un'occhiata!
Che in realtà è un bug. Quando una funzione viene contestualmente digitato, dovremmo trattarla come se esiste un tipo di ritorno di annotazione che rappresenta il tipo di ritorno previsto (per sezione 4.9 delle specifiche lingua), quindi hai ragione a che ci sia un errore.
Ho già una correzione per questo, ma si può aprire un bug sul sito CodePlex quindi il nostro team può seguirlo? Posso spingere la correzione alla nostra filiale di sviluppare questo pomeriggio.
Grazie ancora!