Liquid water content useful for weather forecasting as cumulonimbus clouds are related to thunderstorms and heavy rain whereas cirrus clouds are not directly associated with precipitation. The liquid water content of a cloud varies significantly depending on the type of clouds present in the atmosphere at a given location. The classification of the cloud is highly related to the liquid water content as well as the origin of the cloud. The combination of these two allows a forecaster to more readily predict the types of conditions that will be in an area based on the types of clouds that are forming or have
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