flow
Facebook製の静的型チェッカー。
https://github.com/facebook/flow