Sound gradual typing: only mostly dead

  title={Sound gradual typing: only mostly dead},
  author={S. Bauman and Carl Friedrich Bolz-Tereick and Jeremy G. Siek and S. Tobin-Hochstadt},
  journal={Proceedings of the ACM on Programming Languages},
  pages={1 - 24}
  • S. Bauman, Carl Friedrich Bolz-Tereick, +1 author S. Tobin-Hochstadt
  • Published 2017
  • Computer Science
  • Proceedings of the ACM on Programming Languages
  • While gradual typing has proven itself attractive to programmers, many systems have avoided sound gradual typing due to the run time overhead of enforcement. In the context of sound gradual typing, both anecdotal and systematic evidence has suggested that run time costs are quite high, and often unacceptable, casting doubt on the viability of soundness as an approach. We show that these overheads are not fundamental, and that with appropriate improvements, just-in-time compilers can greatly… CONTINUE READING
    18 Citations
    Casts and costs: harmonizing safety and performance in gradual typing
    • 5
    • PDF
    Efficient Gradual Typing
    • 12
    • PDF
    Toward efficient gradual typing for structural types via coercions
    • 6
    • PDF
    Collapsible contracts: fixing a pathology of gradual typing
    • 8
    • PDF
    Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
    How to evaluate the performance of gradual type systems
    • 12
    • PDF
    Space-Efficient Gradual Typing in Coercion-Passing Style
    Design and evaluation of contracts for gradual typing
    Which of my transient type checks are not (almost) free?


    Gradual typing for Smalltalk
    • 49
    • Highly Influential
    • PDF
    Concrete Types for TypeScript
    • 41
    • Highly Influential
    • PDF
    Understanding TypeScript
    • 127
    • Highly Influential
    • PDF
    Dynamic Languages (DLS ’12)
    • 2016