Dependent types add complexity to a type system.
काही संगणकीय विषाणू एखाद्या प्रोग्रामला जोडलेले असतात.