facebook/flow

Features

• Static Type Checkers - Functions as a static type checker for JavaScript and TypeScript codebases to prevent runtime failures.
• JavaScript Parsers - Parses JavaScript into an abstract syntax tree conforming to the ESTree specification.
• Code Intelligence - Provides contextual code intelligence including navigation and type mapping across the codebase.
• Type Definitions - Creates type definitions for external modules and global APIs using separate declaration files.
• External Library Definitions - Maps the types of external dependencies using separate declaration files to enable checking of third-party code.
• Local Variable Declarations - Deduces types for local variables and expressions based on their surrounding context.
• Type Narrowing - Narrows variable types within conditional branches by analyzing guards and execution paths.
• Type Safety - Verifies type safety across the codebase by analyzing static annotations.
• Type Annotation Stripping - Strips static type annotations from source code to ensure compatibility with standard JavaScript runtimes.
• Coding Standards Enforcement - Identifies unsafe coding patterns and ambiguous types through a static analysis linter.
• Typed JavaScript Parsing - Generates a syntax tree from typed JavaScript to facilitate analysis by external tools.
• Type Inference Engines - Implements a type inference engine that deduces expression types from surrounding context and assignments.
• Static Analysis - Provides static analysis by converting source code into an abstract syntax tree to verify type consistency without execution.
• Code Linters - Identifies unsafe coding patterns and ambiguous types through a static analysis linter.
• Automated Code Refactoring - Applies automated code actions to restructure expressions or fix type-cast syntax errors.
• Developer Experience Tools - Implements developer experience tools such as autocomplete and jump-to-definition based on inferred types.
• Static Analysis Configurations - Allows customization of type checking behavior and project boundaries via configuration files.
• Symbol Navigation - Enables navigation from a variable or type usage directly to its original declaration.
• Type-Aware Autocompletion - Suggests valid properties and methods based on the inferred type of the current expression.
• Type Hover Information - Shows the evaluated type of an expression when a user hovers over a code element.
• Exact Object Types - Allows defining exact object types to prevent the addition of unplanned properties.
• Opaque - Provides opaque type aliases to prevent different types with identical representations from being used interchangeably.
• Utility Types - Provides built-in utility types to transform and specialize existing type definitions.
• ESTree AST Parsing - Analyze source code to produce an abstract syntax tree that conforms to the ESTree specification.
• Type Coverage Analysis - Measures the percentage of the codebase covered by type annotations to identify untyped areas.
• Type Coverage Analysis - Calculates the percentage of the codebase covered by type annotations to identify untyped areas.
• Code Quality Tools - Enforces coding standards and identifies unsafe patterns to improve long-term maintainability.
• Code Analysis and Linters - Static type checker for JavaScript codebases.

Star history