Gradual typing

What is gradual typing?

Gradual typing allows dynamic typing and static typing to be mixed. It includes types that are unknown at compile time. The basic idea is to add an type called the unknown type or dynamic type (often denoted ? or * in papers) to a static type system.

The role of type checker is to catch static type errors. Dynamic types should be ignored.

TODO: Describe the graduality property, gradual guarantee, etc. here.

Papers

• Gradual Typing for Functional Languages, Jeremy G. Siek and Walid Taha, 2006
• Gradual Typing with Union and Intersection Types, GIUSEPPE CASTAGNA and VICTOR LANVIN, 2017