Flow是Facebook出品的，針對(duì)JavaScript的靜態(tài)類(lèi)型檢查工具。其代碼托管在github之上，并遵守BSD開(kāi)源協(xié)議。

關(guān)于Flow

它可以幫助我們捕獲JavaScript開(kāi)發(fā)中的常見(jiàn)錯(cuò)誤，而不需要額外地修改你原有的代碼，比如靜態(tài)類(lèi)型轉(zhuǎn)換，空值引用等問(wèn)題。
同時(shí)，F(xiàn)low為JavaScript添加了靜態(tài)類(lèi)型的語(yǔ)法標(biāo)識(shí)，這樣開(kāi)發(fā)者便可以明確代碼中的類(lèi)型，讓其自動(dòng)地被Flow所維護(hù)。
目前，F(xiàn)low具有以下兩特性：

1. Flow的類(lèi)型檢查具有可選性

除非你明確告訴Flow需要對(duì)某些文件進(jìn)行類(lèi)型檢查，否則它是不會(huì)檢查你不需要檢查文件的。這就是說(shuō)，你可以慢慢地將你的代碼庫(kù)轉(zhuǎn)到Flow之上，繼續(xù)收獲其持續(xù)增長(zhǎng)的價(jià)值。
比如你選擇了一個(gè)文件進(jìn)行檢查，F(xiàn)low會(huì)自動(dòng)地對(duì)你代碼的類(lèi)型檢查，并查出你的代碼中的錯(cuò)誤。不過(guò)，如果你的代碼分得很細(xì)并存在于不同的文件之中，這種做法顯得太麻煩。但有些時(shí)候，你選擇檢查一些很大型的庫(kù)，F(xiàn)low可能會(huì)不是那么準(zhǔn)確。在這種情況下，我們可以手動(dòng)地采用“類(lèi)型注解”或者切換到“弱模式”下限制其類(lèi)型引用來(lái)解決問(wèn)題。

2. Flow的類(lèi)型檢查是在線的

在對(duì)代碼庫(kù)進(jìn)行檢查時(shí)，F(xiàn)low會(huì)對(duì)其做一個(gè)初步的分析，然后會(huì)在后臺(tái)對(duì)后續(xù)變化做持續(xù)的監(jiān)測(cè)，類(lèi)型檢查，以及依賴(lài)檢查。對(duì)開(kāi)發(fā)者來(lái)說(shuō)，意味著不需要花大把的時(shí)間在編譯之上。當(dāng)批量保存文件的時(shí)候，會(huì)自動(dòng)觸發(fā)Flow的類(lèi)型檢查，會(huì)并把結(jié)果持久化，以備再用。

使用與期望

Flow是一個(gè)由Facebook出品的新新庫(kù)，大量的特性還在開(kāi)發(fā)過(guò)程之中。其長(zhǎng)遠(yuǎn)的目標(biāo)是：想讓JavaScript
的開(kāi)發(fā)體驗(yàn)變得更好，而不用去妥協(xié)語(yǔ)言中最本質(zhì)的東西。我們想要開(kāi)發(fā)者擁有強(qiáng)大的工具，去明白如何去維護(hù)他們的代碼，更方便安全地復(fù)用與優(yōu)化他們的代碼。在早期選擇開(kāi)源，也是希望能給Flow一個(gè)機(jī)會(huì)，快速地在所有開(kāi)發(fā)者面前成長(zhǎng)起來(lái)。

接下來(lái)，我會(huì)講到一些例子，幫助大家快速了解Flow如何工作，以及如何通過(guò)Flow讓我們更好的工作。