Pumpernickel means "devil's fart", a definition accepted by the publisher Random House, and by some English language dictionaries, including the Merriam-Webster Dictionary. The American Heritage Dictionary adds "so named from being hard to digest". A variant of this explanation is also given by the German etymological dictionary "Kluge" that says the word is older than its usage for the particular type of bread, and may have been used as a mocking name for a person of unrefined manners ("farting Nick") first. The change of meaning may have been caused by its use as a mocking expression for the (in the eyes
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