Onager priority for future conservation measures is to ensure the protection of this species in particularly vulnerable parts of its range, to encourage the involvement of local people in the conservation of the onager, and to conduct further research into the behavior, ecology, and taxonomy of the species. Two onager subspecies, the Persian onager and the Turkmenian kulan are being reintroduced to their former ranges, including in other regions the Syrian wild ass used to occur in the Middle East. The two subspecies have been reintroduced to the wild of Israel since 1982, and had been breeding hybrids there, whilst 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