Onager never been domesticated. They are among the fastest mammals, as they can run as fast as 64 km/h (40 mph) to 70 km/h (43 mph). The onager is closely related to the African wild ass, as they both shared the same ancestor. The kiang, formerly considered a subspecies of "Equus hemionus", diverged from the Asiatic wild ass and has been acknowledged as a distinct species. The onager formerly had a wider range from southwest and central to northern Asian countries, such as Israel, Saudi Arabia, Iraq, Jordan, Syria, Afghanistan, Russia, and Siberia. During early 20th century, the species lost most
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