Flow is a static type checker for JavaScript open sourced by Facebook. It helps you deal with many of the pain points of JavaScript and write better, easier to reason about code.

According to flow's homepage:

Flow can catch common bugs in JavaScript programs before they run, including silent type conversions,

null dereferences,

and the dreaded undefined is not a function.

and

Flow also lets you gradually add type assertions to your code

So flow is a solution to many common JavaScript problems that you can gradually introduce into your codebase. Pretty cool!

Types

Before we even address flow, however, we must first clarify what types are. I'm going to go ahead and use the definition in Wikipedia's data types article:

A type is a classification identifying one of various types of data, such as real, integer or boolean, that determines the possible values for that type, the operations that can be done on values of that type, the meaning of the data, and the way values of that type can be stored.

More simply put, in my own words, types are rules about the data in your program, and those rules help the computer determine what you can and can't do with that data, which can be pretty helpful if you accidentally try to break those rules.

As you write code in different languages though, you'll notice that the ways that types manifest themselves can vary quite a bit, from being explicitly required, to optional, to nearly non-existent. Generally the type systems of programming languages fall into two categories: Strong vs. Weak and Static vs Dynamic.

Strong typing vs. Weak typing

Wikipedia has a great article on this. The general consensus being that strong vs. weak is a bit ambiguous because there is no agreed upon definition. I'm going to go with the definition on the wikipedia page titled

Implicit type conversions and "type punning"

In a strongly typed language such as python, a mismatch between two incompatible values will cause a type error. The only way to avoid type errors is to explicitly transform values such that they match up.

x = 5 print x + ""

throws the following error

TypeError : unsupported operand type ( s ) for + : 'int' and 'str'

but this is fine

x = 5 print str ( x ) + ""

In a weakly typed language such as JavaScript, anything goes because variables are all implicitly have their types converted when they're used. You can add strings to Objects, Arrays to Objects, numbers to null, and more; even worse, none of it throws an error if it's an accident.

console . log ( { } + { } ) ; console . log ( { } + [ ] ) ; console . log ( [ ] + [ ] ) ; console . log ( { } + 2 ) ; console . log ( { } + "hello" ) ;

I think you can imagine all the possible problems that arise from all this happening without throwing any errors whatsoever.

Static typing vs. Dynamic typing

Static vs Dynamic typing is a bit more controversial than Weak vs. Strong. I'm not going to be saying one is better than another or giving a comprehensive breakdown of the benefits of each; instead, I'll just be giving a brief introduction of both. If you want to see a bit more debate which is better, the following are great discussions

Now given that disclaimer:

Static Typing

As far as I know most statically typed languages are also strongly typed. Moreover, in a statically typed language, you explicitly write out the types of your variables. Most people have seen Java, a statically typed language, where you write the types of your variables out such as int or String , and the return type and parameter types of your functions like int add(int a, int b) :

public class Hello { public static void main ( String [ ] args ) { int x = 5 ; int y = 10 ; String s = "1.23131" ; System . out . println ( add ( x , y ) ) ; System . out . println ( add ( x , s ) ) ; } public static int add ( int a , int b ) { return a + b ; } }

This code will throw an error at line 8 when you compile your code because you cannot add a String type to an int type.

Note that:

The error is caught at compile-time instead of at run-time, which means you can't even run the code until you fix the errors.

If you're using an IDE, you'd get a message saying that add(x, s) isn't possible. Because you specified your types in advance, your code can be analyzed at a higher level without compiling to find mistakes.

isn't possible. Because you specified your types in advance, your code can be analyzed at a higher level without compiling to find mistakes. If the function was instead called sfjkasjf instead of add , you'd still know that it takes in two integers and returns an integer, which is useful information.

Type Inference in Statically Typed Languages

What I said earlier about statically typed languages needing types to be explicitly written out is not 100% true. In languages without type inference such as Java this is true, but in languages with type inference, you can leave it to the computer to figure out what types you're using. For example, the following example contains the same code above written in Haskell, a language known for its really powerful type system, but where I write let x = 1 as well as where I write let add' = (+) Haskell infers the types, and doesn't require explicit guidance.

Haskell

main :: IO ( ) main = do let x = 1 let y = 2 let s = "" let add ' = ( + ) print ( add x y ) print ( add ' x y ) print ( add x s ) add :: Int -> Int -> Int add = ( + )

Type inference exists in many other type systems including flow's type system. The general idea though is that while type inference makes your life a bit easier since you don't have to write as much, you can't and shouldn't rely on type inference for everything.

Dynamic Typing

In a dynamically typed language, the only concept of typing comes from the types of the values in your code. You never write out types yourself. The main benefit of this is that your code looks less cluttered, and you don't have to think about types at all while programming, which is a productivity boost in the short run. In python, the above code for addition would look like:

def main ( ) : x = 5 y = 10 s = "1.23131" print add ( x , y ) print add ( x , s ) def add ( a , b ) : return a + b

This code will throw an error at line 7 when you run your code because you cannot add a string type to an int type. Remember though, that the only reason this is an error is because python is strongly typed. add(5, "1.2313213") would be 100% valid in a weakly typed language like JavaScript.

Note that

The code is more concise

There is no type inference going on. In dynamically typed languages variables are just containers for values, and have no other special properties. add(x, s) fails because during run-time you try to add an int and a string not because the interpreter figured out in advance x and s are not compatible.

fails because during run-time you try to add an and a not because the interpreter figured out in advance and are not compatible. You can't really tell what the type of a and b are. int , string , float , etc. are all possibilities.

and are. , , , are all possibilities. It still throws an error when you run it, albeit at run-time rather than compile-time, which is a big distinction. This means testing is more crucial for dynamically typed languages because they will run just fine even if the code contains type errors.

Bringing it back to JavaScript and Flow

Now that we know more about types, we can get back to the matter at hand, which is making it harder to make mistakes in your JavaScript code.

JavaScript is both weakly and dynamically typed, which is a flexible but extremely error prone combination. As we read above, we know that due to implicit casting all operations between values of different types happen without error regardless of whether or not those operations are valid (weak typing), and that you never write out your types yourself (dynamic typing).

This mishmash of weak and dynamic is pretty unfortunate as you can see in following example and countless others that criticize these qualities of the language.

The solution to most of these problems is flow, which through static typing and type inference, addresses a lot of the pain points of the language like the one above.

This isn't a tutorial, so if you want to follow along you can check out the getting started guide for flow.

Lets go ahead and return to our very first JS example in the weak typing section, but this time with flow checking our code.

We add // @flow to the first line of the program to opt into typing, and then run the command line tool flow to check our code (IDE integration is also possible):

console . log ( { } + { } ) ; console . log ( { } + [ ] ) ; console . log ( [ ] + [ ] ) ; console . log ( { } + 2 ) ; console . log ( { } + "hello" ) ;

Immediately every single line becomes a type error similar to the one below.

index . js : 3 3 : console . log ( { } + { } ) ^ ^ object literal . This type cannot be added to 3 : console . log ( { } + { } ) ^ ^ ^ ^ ^ ^ ^ string

Without doing any extra work to add type annotations, flow already indicates that there's something incorrect going on. The wat video doesn't really apply anymore.

Benefits of annotating your code

While flow will help catch errors like the one above, to truly start benefiting from it, you'll have to write your own type annotations, meaning you use either flow's built in types such as number , string , null , boolean , etc. to specify the types of your values or you create some type aliases of your own such as

type Person = { age : number , name : string , gender : "male" | "female" } ;

Now you can transform a function such as

function xyz ( x , y , z ) { return x + y + z ; }

into

function xyz ( x : number , y : number , z : number ) : number { return x + y + z ; }

In this specific case we know that xyz is supposed to take in 3 numbers and return a number. Now if you tried to do xyz({}, '2', []) , which is 100% valid JavaScript (lol), flow would throw an error! As you begin to do this more and more, flow learns more about your code base and gets better at telling you what mistakes you've made.

A Few Examples

Catches Incorrect Number of Parameters Passed to Function

Code:

function xyz ( x : number , y : number , z : number ) : number { return x + y + z ; } xyz ( 1 , 2 ) ;

Error:

index . js : 7 7 : xyz ( 1 , 2 ) ^ ^ ^ ^ ^ ^ ^ ^ ^ function call 7 : xyz ( 1 , 2 ) ^ ^ ^ ^ ^ ^ ^ ^ ^ undefined ( too few arguments , expected default / rest parameters ) . This type is incompatible with 3 : function xyz ( x : number , y : number , z : number ) : number { ^ ^ ^ ^ ^ ^ number

Catches Incorrect Parameter Types

Code:

function xyz ( x : number , y : number , z : number ) : number { return x + y + z ; } xyz ( 1 , 2 , "" ) ;

Error:

index . js : 7 7 : xyz ( 1 , 2 , '' ) ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ function call 7 : xyz ( 1 , 2 , '' ) ^ ^ string . This type is incompatible with 3 : function xyz ( x : number , y : number , z : number ) : number { ^ ^ ^ ^ ^ ^ number

Makes Sure You Don't Forget to Check for NULL

Code:

function xyz ( x : number , y : number , z : number ) : ? number { return Math . random ( ) < 0.5 ? x + y + z : null ; } function printNumber ( x : number ) : void { console . log ( x ) ; } printNumber ( xyz ( 1 , 2 , 3 ) ) ;

Error:

index . js : 11 11 : printNumber ( xyz ( 1 , 2 , 3 ) ) ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ function call 11 : printNumber ( xyz ( 1 , 2 , 3 ) ) ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ null . This type is incompatible with 7 : function printNumber ( x : number ) : void { ^ ^ ^ ^ ^ ^ number

Makes Sure You Return The Right Types

Code:

function xyz ( x : number , y : number , z : number ) : number { return Math . random ( ) < 0.5 ? x + y + z : null ; }

Error:

index . js : 6 6 : : null ^ ^ ^ ^ null . This type is incompatible with the expected return type of 3 : function xyz ( x : number , y : number , z : number ) : number { ^ ^ ^ ^ ^ ^ number

Make Sure Your Objects Contain All the Properties They're Supposed to Contain

Code:

type Person = { age : number , name : string , gender : "male" | "female" } ; const person : Person = { name : "joe" , age : 10 } ;

Error:

index . js : 9 9 : const person : Person = { name : 'joe' , age : 10 } ^ ^ ^ ^ ^ ^ property ` gender ` . Property not found in 9 : const person : Person = { name : 'joe' , age : 10 } ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ object literal

Make Sure You Don't Access Nonexistent Object Properties

Code:

type Person = { age : number , name : string , gender : "male" | "female" } ; const person : Person = { name : "joe" , age : 10 , gender : "male" } ; console . log ( person . job ) ;

Error:

index . js : 9 9 : console . log ( person . job ) ^ ^ ^ property ` job ` . Property not found in 9 : console . log ( person . job ) ^ ^ ^ ^ ^ ^ object type

Going Deeper

There's a few more common benefits that I'm probably forgetting, but the above examples cover most of them. If you're thinking, "that's it?", the rabbit hole goes much much deeper. Types are really powerful almost to the point that they're like tests that you inline into your code. It's not just about variable types or return types, but every single aspect of your program that can be conceptualized as a type.

Giulio Canti has written quite a few articles on the more advanced things that you can do with flow that allow you to make sure every part of your code is working as intended.

He also has authored flow-static-land, which is pretty mind blowing.

Conclusion

TL;DR: