gradual typing

Noun

 * 1)  A type system where some variables are statically-typed and some are dynamically-typed.