Typically 5x or more faster than mypy and other type checkers that are written in Python. It is meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. | It is 100% compatible with Ruby. It type checks normal method definitions, and introduces backwards-compatible syntax for method signatures. Explicit method signatures make it useful for anyone reading the code. Type annotations serve as a tool for understanding long after they're written. |
Hover tool tips that display type information; Links to symbol definitions; Smart priority queuing for interactive feedback during editing | Fast: Powerful |
Statistics | |
GitHub Stars 14.9K | GitHub Stars 3.7K |
GitHub Forks 1.7K | GitHub Forks 574 |
Stacks 32 | Stacks 11 |
Followers 31 | Followers 7 |
Votes 0 | Votes 0 |
Integrations | |
| No integrations available | |

It adds syntactic sugar inspired by Ruby, Python and Haskell in an effort to enhance JavaScript's brevity and readability. Specific additional features include list comprehension and de-structuring assignment.

TypeScript is a language for application-scale JavaScript development. It's a typed superset of JavaScript that compiles to plain JavaScript.

Flow is a static type checker for Javascript created by Facebook.