Почему интерфейсы в TypeScript не работают?

Question

[FoBoss98]

Почему при всех включенных запретах("strict": true,"alwaysStrict": true) интерпретатор не выдает ни одной ошибки для следующего кода?

interface A
{
    a():string
}

function fooA(a : A)
{
    console.log(a.a());
}


class Aimpl
{
    a(): string {
        return "AB";
    }
}

fooA(new Aimpl);

Comments

[Alex]

А должен?

[FoBoss98]

Alex, А разве Aimp это имплементация A?

[Алексей Ярков]

FoBoss98, имя метода совпадает? Возвращаемый тип совпадает? Что не так?

[FoBoss98]

Алексей Ярков, Aimp не является А с точки зрения ООП, то что имя функции и возвращаемый тип совпали(возможно случайно) ниочем не говорит. Есть ли какой то способ заставить это работать так что бы интерпритатор не воспринимал Aimp и A одно и то же?

[Алексей Ярков]

FoBoss98, вам уже Alex написал

Answer 1

[Alex]

Совместимость типов в TypeScript основывается на структурной типизации. Структурная типизация — это способ выявления отношений типов на основании исключительно состава их членов. Этот подход отличается от номинативной типизации. Посмотрим на следующий код:

interface Named {
    name: string;
}
 
class Person {
    name: string;
}
 
let p: Named;
// Все подходит, поскольку используется структурная система типов
p = new Person();

typescript-lang.ru/docs/Type%20Compatibility.html