Container glass is soda-lime glass, produced by blowing and pressing techniques, while some laboratory glassware is made from borosilicate glass. Container glass is used in the following: 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.
Container (type theory) the "output type") is also indexed by shape. 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