Arcus cloud Arcus cloud An arcus cloud is a low, horizontal cloud formation, usually appearing as an accessory cloud to a cumulonimbus. Roll clouds and shelf clouds are the two main types of arcus. Arcus clouds most frequently form along the leading edge or "gust fronts" of thunderstorm outflow; some of the most dramatic arcus formations mark the gust fronts of derecho-producing convective systems. Roll clouds also may arise in the absence of thunderstorms, forming along the shallow cold air currents of some sea breeze boundaries and cold fronts. A shelf cloud is a low, horizontal, wedge-shaped arcus cloud. A shelf cloud
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