Flow の型情報は、プログラムが正しいことを証明する以上の多くのことに役立ちます。Flow linter を紹介します。