http://flowtype.org/

“Flow is a static type checker, designed to find type errors in JavaScript programs.”