Cloud altocumulus cloud has been given the Latin name "asperitas". The supplementary feature "cavum" is a circular fall-streak hole that occasionally forms in a thin layer of supercooled altocumulus or cirrocumulus. Fall streaks consisting of virga or wisps of cirrus are usually seen beneath the hole as ice crystals fall out to a lower altitude. This type of hole is usually larger than typical lacunosus holes. A "murus" feature is a cumulonimbus wall cloud with a lowering, rotating cloud base than can lead to the development of tornadoes. A "cauda" feature is a tail cloud that extends horizontally away from 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