Как решить несовпадение сигнатур при использовании сторонних библиотек?

Question

[become_iron]

Создаю какой-нибудь интерфейс:

export interface Syllable {
  readonly id: number;
  readonly hiragana?: string;
  readonly katakana: string;
  readonly transcription: string;
}

Пишу затем абстрактный класс и объявляю в нём метод, который возвращает Syllable[]. Наследуюсь от данного класса, в теле определения метода использую функцию из другой библиотеки:

// underscore.js
return _.shuffle(this.proposed_options);

В результате получается, что сигнатуры не совпадают: возвращаю не Syllable[], а {}[].
Поэтому привожу вручную к нужной сигнатуре:

// underscore.js
<Syllable[]>_.shuffle(this.proposed_options)

Вопрос в том, как правильно разобраться с этой ситуацией.

Answer 1

[Олег Драпеза]

Декларация метода shuffle:
shuffle<T>(list: _.Collection<T>): T[];

Возможно, свойство класса this.proposed_options не типизировано как Syllable.

Перепишите вручную, но используя generic:
_.shuffle<Syllable>(this.proposed_options)

Answer 2

[Константин Китманов]

Странно, что Typescript у вас не ругается на то, что вы не указываете тип дженерику. По идее должно быть (судя по сигнатуре в репо):
_.shuffle<Syllable>(this.proposed_options)

Comments

[become_iron]

То есть везде заменить <Syllable[]>_.shuffle(this.proposed_options) на _.shuffle<Syllable>(this.proposed_options)? И таким образом нужно поступать всякий раз, когда я хочу использовать сторонние библиотеки?

[Константин Китманов]

become_iron, не всякий, а когда это предусматривает сигнатура функции. Вкратце, сигнатура shuffle<T>(list: _.Collection<T>): T[] означает, что функция принимает на вход коллекцию элементов, каждый из которых имеет один и тот же тип T, и возвращает массив элементов этого типа. Тип элемента как бы обернут коллекцией и компилятор не знает его и не может вывести, что на выходе будет массив Syllable, а не any. Чтобы ему это подсказать, функция пишется как обобщенная, и при её вызове надо явно указать этот тип.

Почитайте, что такое дженерики aka шаблоны в C++ aka обобщения.

[become_iron]

Константин Китманов, я надеялся, это всё будет более элегантно. Спасибо

[Константин Китманов]

become_iron, а чего тут неэлегантного?:) Мне кажется, что дженерики это довольно красивое решение проблемы (без них надо было бы писать отдельную функцию под каждый тип). Шаблоны в плюсах так и вовсе язык полный по Тьюрингу:)
Хотели явную типизацию -- вот она. Может в каком-нибудь там хаскеле или окамле автоматический вывод типов круче, но уж что есть.