gradual typing noun1 •A type system where some variables are statically-typed and some are dynamically-typed.
