Persian onager found in desert steppes. Their largest population is found in Khar Turan National Park. The Persian onager is listed as endangered by IUCN Red List, as it is close to extinction. Currently, poaching for meat and hides, competition with livestock, and drought are the greatest threats to this species. Asiatic wild asses are highly and legally protected; hunting them is forbidden. The European Endangered Species Programme reserved for European Association of Zoos and Aquaria is helping save the Persian onager from extinction, by breeding them in captivity and reintroducing them to their former ranges, including in new locations once inhabited
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