Sound gradual typing: only mostly dead

@article{Bauman2017SoundGT,
  title={Sound gradual typing: only mostly dead},
  author={Spenser Bauman and Carl Friedrich Bolz-Tereick and Jeremy G. Siek and Sam Tobin-Hochstadt},
  journal={PACMPL},
  year={2017},
  volume={1},
  pages={54:1-54:24}
}
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
2
Twitter Mentions

References

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

Understanding TypeScript

VIEW 14 EXCERPTS
HIGHLY INFLUENTIAL

Gradual typing for Smalltalk

VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Dynamic Languages (DLS ’12)

Edd Barrett, Carl Friedrich Bolz, +3 authors Laurence Tratt
  • 2016
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL