フロー内に無制限タプルを定義する

Question

フローの最後の項目を繰り返すタプルを定義することはできますか？

例：

type Operator = '=' | '<' | '>'; 
type Value = string | number; 

// this works... 
type Expression = [Operator, Array<Value>]; 
const expr = ['=', [1, 2, 3]]; 

// ...but I would like to use it without nested array: 
type Expression = [Operator, ...Value]; // this is not valid 
const expr = ['=', 1, 2, 3]; 

フローインデックスに基づいてタプル内の項目をです。TypeCheckないので、このように定義することが可能である：

type Expression = [Operator, Value, Value, Value, Value, Value]; 
const expr = ['=', 1, 2, 3]; 

しかし、それはです。TypeCheckませんアイテムの場合配列は型定義よりも長いです。

Answer 1

タプルとこのようなリストの混合はサポートされていませんが、サポートされているのは「タグ付きユニオン」です。この場合はさらに優れているようです。 （それとも、値の量が同じであってもオペレータの動的になりたいですか？）これにより

type Value = string | number; 
type Expression = 
    ['=', Value, Value, Value] 
    | ['<', Value, Value] 
    | ['>', Value] 

、あなたはすべてのオペレータが受け入れる正確にどのように多くの値を指定することができます。フロータプルで

type Expression = [Operator, Value]; 

は常に結合していないですが、「尾」のタイプは、常に私定義型の労働組合である：あなたのケースでは

Answer 2

が、これは単に動作するはずです。 e。 Operator | Value。 OperatorはサブタイプがValueなので、Valueと同じです。