Flow Checker是Facebook公布的一個(gè)JavaScript靜態(tài)類型檢查器，能夠在不改變代碼的情況下，檢查JavaScript中一般的Bug，如：無聲類型轉(zhuǎn)換、空指針引用等等。同時(shí)，F(xiàn)low也支持給JavaScript添加類型語法，因此，開發(fā)者們可以通過在他們的代碼中聲明不變量讓其自動(dòng)維護(hù)。

Flow可以將其理解為兩個(gè)東西：靜態(tài)類型檢查器、JavaScript方言

冒號(hào)后跟數(shù)據(jù)類型。
例：
function foo(x: string, y: number): number { return x.length * y; }
限制x為string，y為number，函數(shù)返回number。

function f(param:1|2|3|4|5){/*...*/}
declare var oneOrTwo:1|2;// Subset of the input parameters type.
declare var fiveOrSix:5|6;// Not a subset of the input parameters type.

f(oneOrTwo);// Works!
f(fiveOrSix);// Error!

以下代碼中，value可以是"A"or"B".

function method(value: "A" | "B") {
    if (value === "A") { // value is "A"
    }
}

prop?:string 代表prop為string且可能存在。

function otherMethod() { /* ... */ }

function method(value: { prop ? : string }) {
    if (value.prop) {
        var prop = value.prop;
        otherMethod();
        prop.charAt(0);
    }
}

參考

教程：http://www.pinqy.cn/notes/flow-learning-1
官方文檔：https://flow.org/