Что такое T в угловых скобках в документации к RxJS?

Question

[Сергей Соколов]

Как читать такую сигнатуру, никогда не сталкивался:

filter<T>(predicate: (value: T, index: number) => boolean, thisArg?: any): MonoTypeOperatorFunction<T>

Описывается оператор filter. Затем непонятная конструкция <T> первый раз.
Понятно, что filter принимает два аргумента.
Первый – predicate, который есть функция от двух аргументов:
value (типа того же непонятного T
и index который имеет тип Число; возвращает булево значение.

Второй аргумент – thisArg, который необязателен, т.к. знак вопроса ? и может иметь любой тип any

Возвращает этот filter опять непонятное: MonoTypeOperatorFunction – видимо, это функция какая-то непростая, и опять указан её (?) тип <T> что тоже тайна великая есть.

Научите читать букварь?

Answer 1

[shai_hulud]

Это TypeScript. В такой нотации видно, что принимается в аргументах и что будет вернется.

T это generic параметр. В данном контексте это тип фильтруемого значения.

MonoTypeOperatorFunction это функция с сигнатурой (source: T): R которая еще и унарная функция итд. Это всё иерархия типов для того что бы можно было композировать друг с другом функции по их "смыслу" а не сигнатуре.

Comments

[Сергей Соколов]

спасибо за ответ! Стало понятно.
Не встретил в документации RxJS упоминаний TS, растерялся )

Answer 2

[askhat]

Это дженерик. Что-то в роде переменной, но для типов.

https://www.typescriptlang.org/docs/handbook/gener...

Comments

[Сергей Соколов]

спасибо! Проливает свет )
Такая запись типов локальная для TypeScript или универсальна?

Не имел дела ни с TS ни со строго типизироваными языками.

[Kovalsky]

Наверное пример стоит показать:

function identity<T>(arg: T): T {
    return arg;
}

Эта запись означает, что при вызове identity можно явно указать тип T и таким образом позволить TS проверить тип arg и возвращаемого результата:

identity(2); // no error
identity<string>(2); // error: argument is not string

let my_awesome_integer: number;
my_awesome_integer = identity<string>('asd'); 
// error: string is not assignable to number

[Сергей Соколов]

Kovalsky, спасибо! По ссылке в этом ответе именно про этот пример identity function и прочитал.

Неожиданно как-то появился этот TS. Казалось бы, сама по себе библиотека RxJS, а тут вдруг TypeScript.

[Антон Швец]

Сергей Соколов, можно использовать в js без типов, но зачем

[Kovalsky]

Сергей Соколов, TS и правда хорош. Я раньше думал а на чёрта он нужен, и так вроде пишем и норм. А на самом деле он дофига проблем решает. Как минимум та же типизация: если в чистом JS ошибку совершить довольно просто, то в TS ошибку можно совершить только намеренно, без исключений. А еще ведь есть божественно реализованная система классов и интерфейсов 0_0 ...

По поводу второго вопроса: походу дженерики много где существуют, вот например в C#, а вот в Java.

[askhat]

Теория по теме: https://ru.wikipedia.org/wiki/Обобщённое_программи...

Пример из жизни:

function SomeReactComponent() {
  // useState это дженерик функция
  const [items, setItems] = useState<MyAwesomeItem[]>([])
  // альтернативная запись
  // useState<Array<MyAwesomeItem>>([])

  useLayoutEffect(() => {
    fetchAwesomeItems().then(setItems)
  })

  return <ItemList {{items}} />