Strojopisem: Proč se nejedná o typ chyby?

hlasů
6

Snažím se pochopit míru typu závěru při práci na stroji. V následujícím příkladu kódu, proč je footo implementace baz.esplodeplatné? Já to chápu tak, že prázdná metoda utkání 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);

Dík!

Položena 02/10/2012 v 09:41
zdroj uživatelem
V jiných jazycích...                            


1 odpovědí

hlasů
11

díky za přijetí podívat!

To je vlastně chyba. Je-li funkce kontextově zadali, měli bychom ji považovat jakoby existuje anotace návratový typ, který představuje zamýšlenou návratový typ (za bod 4.9 jazykové specifikace), takže máte pravdu v tom, že by mělo dojít k chybě.

Už mám fix pro to, ale můžete podat chybu na stránkách CodePlex takže náš tým jej sledovat? I mohou tlačit na opravu naší pobočce rozvíjet dnes odpoledne.

Ještě jednou děkuji!

Odpovězeno 02/10/2012 v 18:26
zdroj uživatelem

Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more