Încerc să înțeleg gradul de tip inferență la locul de muncă dactilografiat. În următorul exemplu de cod, de ce este fooimplementarea lui de baz.esplodevalabilitate? Înțelegerea mea este că o metodă de gol se potrivește 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);
Mulțumiri!
Vă mulțumim pentru a lua o privire!
Asta este de fapt un bug. Atunci când o funcție este scris în funcție de context, ar trebui să-l tratăm ca și cum ar exista un tip de întoarcere adnotare care reprezintă tipul de retur destinat (pe secțiunea 4.9 din spec limbii), asa ca ai dreptate în faptul că ar trebui să existe o eroare.
Am deja un fix pentru acest lucru, dar se poate depune un bug pe site-ul CodePlex astfel încât echipa noastră să poată urmări? Pot împinge fix la filiala noastră a dezvolta această după-amiază.
Multumesc din nou!