Глюк типизации в TypeScript

[binf]

interface A {
}

interface B {
boom(): void
}

function test(fn: (a: A) => void) {
fn({})
}

var a: A = {}

var fn = (b: B) => b.boom();

test(fn)

Ну охуеть теперь. Повод перейти на Flow? хз

Comments

[qvz]

А в чем глюк? В тс структурная совместимость типов же.
В приведенном примере, интерфейс A будет надтипом любого другого интерфейса.

https://www.typescriptlang.org/docs/handbook/type-compatibility.html

[binf]

Глюк в том, что A не кастится B ни при каких раскладах, но между
(a: A) => void и
(a: B) => void для тайпскрипта, как выяснилось, разницы нет. Это честно говоря - pizdec. Разумеется, во флоу такой код не компилируется, проверьте.

[qvz]

А, да, точно. Беру свои слова взад!

[binf]

ну и если что пример крашится с эксепшеном в строчке test(fn)

[blueher]

В том-то и дело что с точки зрения TS - A это предок B (потому что структурная совместимость, ага). Добавьте в A какой-то метод - и проблема уйдет.