Algebraic data typeIn computer programming, especially functional programming and type theory, an algebraic data type (ADT) is a kind of composite type, i.e., a type formed by combining other types. Two common classes of algebraic types are product types (i.e., tuples and records) and sum types (i.e., tagged or disjoint unions, coproduct types or variant types). The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types.
High-voltage cableA high-voltage cable (HV cable) is a cable used for electric power transmission at high voltage. A cable includes a conductor and insulation. Cables are considered to be fully insulated. This means that they have a fully rated insulation system that will consist of insulation, semi-con layers, and a metallic shield. This is in contrast to an overhead line, which may include insulation but not fully rated for operating voltage (EG: tree wire).
