Garnet pegmatite and allied rock types and in certain low grade metamorphic phyllites. Spessartine of an orange-yellow is found in Madagascar. Violet-red spessartines are found in rhyolites in Colorado and Maine. Blue pyrope–spessartine garnets were discovered in the late 1990s in Bekily, Madagascar. This type has also been found in parts of the United States, Russia, Kenya, Tanzania, and Turkey. It changes color from blue-green to purple depending on the color temperature of viewing light, as a result of the relatively high amounts of vanadium (about 1 wt.% VO). Other varieties of color-changing garnets exist. In daylight, their color ranges from
Type system or an "effect system", which enables even more program specifications to be verified by a type checker. Beyond simple value-type pairs, a virtual "region" of code is associated with an "effect" component describing "what" is being done "with what", and enabling for example to "throw" an error report. Thus the symbolic system may be a "type and effect system", which endows it with more safety checking than type checking alone. Whether automated by the compiler or specified by a programmer, a type system makes program behavior illegal if outside the type-system rules. Advantages provided by programmer-specified type systems include: Advantages