Friday, August 24, 2018 — 1:30 PM EDT
Ellen Arteca, Master’s candidate David R. Cheriton School of Computer Science
As dynamic scripting languages are increasingly used in industry in large-scale projects,a need has arisen for more some of the convenient features of statically typed languages. This lead to the development of gradual typing, a typing paradigm which is a compromise betweenstatic and dynamic typing. In gradual typing, programmers can specify type annotations if and when they choose to; then, at compile time, thestatically typed sections of code are type checked. In gradual typing, there isalso a guarantee that any runtime type errors will be caught when they cross the boundary from typed to untyped code – type checks are inserted at runtime to ensure this. These runtime checks have the downside of addingsignificant overhead to the execution time, so much so that a recent paper  considered it potentially untenable.
DC - William G. Davis Computer Research Centre
2310 200 University Avenue West Waterloo,
ONN2L 3G1 Canada
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.