TypeScript : 왜 이것이 유형 오류가 아닙니다.

Question

Typescript에서 직장에서 유형 추론 정도를 이해하려고합니다.다음 코드 예제에서 foo의 baz.esplode의 구현이 유효한 이유는 무엇입니까?나의 이해는 빈 메소드가 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);

.

감사합니다!

Answer 1

봐 주셔서 감사합니다!

실제로 버그입니다.함수가 문맥 적으로 입력되면 우리는 의도 된 반환 유형 (언어 사양의 4.9 절)을 나타내는 반환 유형 주석이 존재하지만 오류가 있어야합니다. 나는 이미 이것을위한 수정 프로그램을 가지고 있지만, 우리 팀이 그것을 추적 할 수 있도록 codeplex 사이트에 버그를 제출할 수 있습니까?오늘 오후에 우리의 개발 지점에 수정을 밀어 넣을 수 있습니다.

다시는 감사합니다!