Container glass Container glass Container glass is a type of glass for the production of glass containers, such as bottles, jars, drinkware, and bowls. Container glass stands in contrast to "flat glass" (used for windows, glass doors, transparent walls, windshields) and "glass fiber" (used for thermal insulation, in fiberglass composites, and optical communication). Container glass has a lower magnesium oxide and sodium oxide content than flat glass, and a higher Silica, Calcium oxide, and Aluminum oxide content. Its higher content of water-insoluble oxides imparts slightly higher chemical durability against water, which is required for storage of beverages and food. Most container glass
Container (type theory) introducing the notion of containers is to support generic programming in a dependently typed setting. The extension of a container is an endofunctor. It takes a function codice_1 to formula_1 This is equivalent to the familiar codice_2 in the case of lists, and does something similar for other containers. Indexed containers (also known as dependent polynomial functors) are a generalisation of containers, which can represent a wider class of types, such as vectors (sized lists). The element type (called the "input type") is indexed by shape and position, so it can vary by shape and position, and the extension (called