Gradual typing is a type system I developed with Walid Taha that allows parts of a program to be dynamically typed and other parts to be statically typed. The