Что значит такая запись в TS?

Question

[JavaSscriptNoob]

function identity<T>(arg: T): T {
  return arg;
}
let myIdentity: <U>(arg: U) => U = identity;

Что значит такая запись , можно ли сказать что мы проверяем что вторая функция соответсвует первой ?

Answer 1

[Василий Банников]

Нет, тут ничего не проверяется.
Просто функция identity присваивается переменной myIdentity

Comments

[WbICHA]

тут ничего не проверяется.

Ну почему же, тип задан, проверка на соответствие типов проверяется.)

[Василий Банников]

WbICHA, ну только если так :)

[Игорь]

Проверка будет выполняться на этапе компиляции.

Answer 2

[Дмитрий Беляев]

https://www.typescriptlang.org/docs/handbook/2/fun...
https://www.typescriptlang.org/docs/handbook/2/fun...