Flow type helpers

Flow offer some nice type helpers in his recent versions, while some of them are already addressed by typescript, some could perhaps be helpful.
Here are extracted comments from flow source just for inspiration.

• $Either<...T> is the union of types ...T
• $All<...T> is the intersection of types ...T
• $Supertype acts as any over supertypes of T
• $Subtype acts as any over subtypes of T
• $Shape matches the shape of T
• $Diff<T,S>
• $Enum is the set of keys of T
• $Record is the type of objects whose keys are those of T

ソースファイル、テスト、エントリーポイントのいずれも指定されていません。まず、列挙されている Flow ヘルパーを TypeScript に既にある型システム機能および issue の議論と比較してください。完了とみなすには、ヘルパーの対象範囲について合意し、動作を仕様化し、それに対応する実装とテストを用意する必要があります。