weak typing

type system whose semantics provide looser guarantees of program validity

Categories: