Fougasse (bread) Islands. The Provence version is more likely to have additions like olives, cheese, garlic or anchovies, which are like a primitive form of pizza without the tomato. There is also in Portugal the "fogaça", a sweet bread. In Brazil, "pão sovado" is a typical big fougasse, while a recipe, typical of the states of Rio de Janeiro, Espírito Santo and surrounding regions, that is halfway between fougasse and bolillo (in these regions known as "pão francês" or "pão-de-sal"), somewhat resembling a savory small brioche, is called "pão suíço". They are perhaps the sweetest of savory artisanal bread recipes commonly made
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