配列の型の定義はArray<T>型を使う方法と型の後ろにT[]を付ける方法の2通りあります。Array<T>とT[]の違いはありません。E]と[]の間に型を羅列した型を定義します。true,];もしタプルを定数化したいなら、指定する型も厳密にしてあげるだけです。constを付けることで同じ意味にできます。trueでユニオン化することができるので、あとは型として使うだけです。型などを配列に絞り込みたい場合は、Array.isArrayメソッドを使います。