Аннотации типов

Добавление аннотаций типов — важная часть взаимодействия с Flow.

Flow обладает мощной способностью вывода типов ваших программ. Большая часть вашего кода может полагаться на него. Тем не менее, есть места, где вам нужно будет добавить типы.

Представьте следующую concat функцию для конкатенации двух строк.

function concat(a, b) {
  return a + b;
}

Когда вы используете эту функцию, Flow точно знает, что происходит.

concat("A", "B"); // Works!

Однако, вы можете использовать оператор + над строками или числами, поэтому это также будет допустимо.

concat(1, 2); // Works!

Но предположим, что вы хотите разрешить только строки в своей функции. Для этого вы можете добавить типы.

function concat(a: string, b: string) {
  return a + b;
}

Теперь Flow выдаст предупреждение, если вы попытаетесь использовать числа.

// @flow
function concat(a: string, b: string) {
  return a + b;
}

concat("A", "B"); // Works!
concat(1, 2); // Error!

Установка «границ» с вашими типами означает, что вы можете указать Flow свои намерения помимо вывода, который он уже делает.

Это руководство научит вас синтаксису и семантике всех различных типов, которые могут быть в Flow.