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) Container (type theory) In type theory, containers are abstractions which permit various "collection types", such as lists and trees, to be represented in a uniform way. A (unary) container is defined by a type of "shapes" S and a type family of "positions" P, indexed by S. The "extension" of a container is a family of dependent pairs consisting of a shape (of type S) and a function from positions of that shape to the element type. Containers can be seen as canonical forms for collection types. For lists, the shape type is the natural numbers (including zero). The corresponding