Pumpernickel the same basic story, Napoleon declared that the bread was no good for him, but was only good () for his horse: "". However, the name "Nickel" is not confirmed for any of Napoleon's many horses. Additional folk etymology grew from a "witty interpretation", proposed by seventeenth-century satirist Johann Balthasar Schupp, that the bread was only "good for "Nicol"", a nickname for a weak or puny horse. Pumpernickel has been long associated with the Westphalia region of Germany, first referred to in print in 1450. Although it is not known whether this and other early references refer to precisely 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