Gradual

Allows mixing statically and dynamically typed code, progressively introducing type annotations.