Allows compile-time detection of incompatible signals/slots, as opposed to runtime errors, making the connections more type-safe.