フローの組み込み型のサブタイプ

Question

UUIDを処理するコードを記述しているとします。内部的には、それらを文字列として表現したいと思います。つまり、すべてのUUIDは文字列ですが、すべての文字列が有効なUUIDであるというわけではありません。誤ってUUIDを保持する変数に間違ったものを割り当てることは望ましくありません。これらの性質を有するフローを持つタイプを作成する方法はあり

function create_uuid(): uuid; { /* implementation? */ } 
let foo: uuid = create_uuid(); 
let bar: string = uuid; // this is fine 

：だから私はこの割り当てが失敗するようなタイプ「UUID」を作成したい：

let foo: uuid = "Some string" 

しかし、これは成功するはず？私は私の研究で$Subtypeを発見し、これはうまくいくかもしれないと思った：

type uuid = $Subtype<string>; 

しかし、それはまだ文字列から割り当てることができますいくつかの理由があります。

Answer 1

以下のハックがあります（欠点はUUIDもObjectになるということです）：

// keep this constructor private 
class IsUUID {} 

export type UUID = string & IsUUID; 

export function create(): UUID { 
    const uuid = 'blah' // <= your implementation 
    return ((uuid: any): UUID) 
} 

// tests 

declare function f(uuid: UUID): void; 
declare function g(s: string): void; 
declare function h(o: Object): void; 

let foo = create() 
let bar: string = foo // <= ok 
f(foo) // <= ok 
f(bar) // <= error: string. This type is incompatible with IsUUID 
g(foo) // <= ok 
g(bar) // <= ok 
h(foo) // <= ok :(

Answer 2

あり、この問題を解決することができますいくつかのハックかもしれませんが、あなたはとして知られているを求めていますopaque data typeであり、現在のところFlowはそれらをサポートしていません。ここには、GitHubのFlowリポジトリにあるsomediscussionsがあります。