Carbuncle (gemstone) used by the Greek to translate the Hebrew נֹפֶךְ ("nōphek") in two of its four occurrences in the Old Testament. The etymology of the Hebrew term is uncertain, though Koehler-Baumgartner suggests a connection to פּוּךְ ("phook"), used in the Old Testament as a term for eye makeup, and probably implying a colored powder most likely made from a crushed mineral. For נֹפֶךְ ("nōphek") itself they suggest the gloss "semi-precious stone" (of uncertain color). Carbuncle (gemstone) A carbuncle is any red gemstone, most often a red garnet. The word occurs in four places in many English translations of the Bible. The
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