Flow: почему ругается на необязательное свойство в объекте?

Question

[Андрей]

Пример кода по ссылке

Что там происходит. Функции map и renderItem работают с объектами типа Item, в которых должно быть свойство "name". Я передаю в эту функцию массив объектов типа User, у которого есть обязательное свойство "name", но есть и другие поля. Получаю ошибку.

Хотя в документации написано, что ошибки быть не должно. Что объекты с дополнительными свойствами использовать можно безопасно.

Что я делаю не так?

Comments

[Mikhail Osher]

Советую вместо Flow использовать Typescript, если уж решили в эту бездну нырять.

[Андрей]

Mikhail Osher, мне Flow больше понравился. Например, в данном случае Flow мне показывает ошибку, но это не мешает мне работать дальше и ждать когда мне на Тостере помогут :) А Typescript бы сейчас просто падал с ошибкой, не компилируя приложение и банально мешал бы работе.

[Mikhail Osher]

Андрей, как раз данный код работает на Typescript

[Mikhail Osher]

Андрей, и Facebook больше не планируют развивать Flow и сами уходят в сторону Typescript

Answer 1

[i1yas]

Тоже часто сталкивался с этой "проблемой". Фишка в том, что flow рассматривает самые худшие сценарии.
Вот ответ на SO
Такой тип позволяет сделать такую штуку:

function map(items: Array<Item>) {
  ...
  items.push({name: "Vasya"});
  ...
}
map(list)

Пушим объект типа Items, локально все ок, только мы его пушим в массив типа Array<Users>, у которого более строгий тип. Поэтому флоу ругается.
Решение:
function map<T: {name: string}>(items: Array<T>) {