Для языков и классов возможность обмениваться информацией через широко согласованных определений и закономерностей для типов.