flow typeの「is compatible with エラー」はなぜReadOnlyArrayで解決できるのか

Question

Reactでflow type(https://flow.org/en/)という型づけのライブラリを利用しています。

例えば下記のようなメソッドがあったとします。

function (values: Array<string> | Array<number>) {
  values.map(v => console.log(v))
}

この場合Array<number>の方に

number [1] is incompatible with  string [2].

というエラーが出ます。しかし、

function (value: Array<string> | $ReadOnlyArray<number>) {
  values.map(v => console.log(v))
}

とすると、エラーが消えます。
読み取り専用にするとなぜエラーが消えるのかお伺いしたいです。
何卒よろしくお願いします。

Comments

[maisumakun]

タグの「TypeScript」はどのような関係があるのでしょうか？

[tomoharu]

すみません　typeと打ったつもりが変換されてしまっていました。、修正します