Fast and precise type checking for JavaScript

@article{Chaudhuri2017FastAP,
  title={Fast and precise type checking for JavaScript},
  author={Avik Chaudhuri and Panagiotis Vekris and Sam Goldman and Marshall Roch and Gabriel Levi},
  journal={Proceedings of the ACM on Programming Languages},
  year={2017},
  volume={1},
  pages={1 - 30}
}
  • Avik Chaudhuri, Panagiotis Vekris, +2 authors Gabriel Levi
  • Published in PACMPL 2017
  • Computer Science
  • Proceedings of the ACM on Programming Languages
  • In this paper we present the design and implementation of Flow, a fast and precise type checker for JavaScript that is used by thousands of developers on millions of lines of code at Facebook every day. Flow uses sophisticated type inference to understand common JavaScript idioms precisely. This helps it find non-trivial bugs in code and provide code intelligence to editors without requiring significant rewriting or annotations from the developer. We formalize an important fragment of Flow's… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 19 CITATIONS

    Julia: dynamism and performance reconciled by design

    VIEW 7 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Reasonably-Most-General Clients for JavaScript Library Analysis

    VIEW 8 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    1 7 Ju l 2 01 9 1 Revisiting Occurrence Typing

    VIEW 3 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    1 Revisiting Occurrence Typing

    VIEW 3 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Revisiting Occurrence Typing

    VIEW 3 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Fast and precise type checking for JavaScript

    VIEW 3 EXCERPTS
    CITES BACKGROUND & METHODS

    Complete monitors for gradual types

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-3 OF 3 REFERENCES

    Closure Compiler

    • Closure.
    • https://developers.google.com/closure/compiler/. (2009). Accessed: 2016-11-15.
    • 2009
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    Solving systems of set constraints

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Fast and Precise Type Checking for JavaScript (Extended version)

    • Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi.
    • https://arxiv.org/abs/1708.08021. (2017).
    • 2017
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL