Bread in Europe palatable. Traditional rustic breads include "sfilatino imbottito" (a stuffed bread roll) and "pizza bianca" (a flat white bread). "Focaccia" is quite popular in Italy and southern France. In Provence, it is known as "fougasse" or "fouace", with the former becoming increasingly common. Fougasse can now be bought all over France. It is usually seasoned with olive oil and herbs, and often either topped with cheese or stuffed with meat or vegetables. Focaccia doughs are similar in style and texture to pizza doughs. "Pane in cassetta" and "pan carré" are low grade factory produced convenience foods sold in all Italian supermarkets.
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