Noun
gradual typing (uncountable) (programming) A type system where some variables are statically-typed and some are dynamically-typed.