Rambutan 'Silengkeng', 'Sikonto' and 'Aceh kuning'. In the Malay peninsula, commercial varieties include 'Chooi Ang', 'Peng Thing Bee', 'Ya Tow', 'Azimat', and 'Ayer Mas'. In Nicaragua, a joint World Relief–European Union team distributed seedlings to organizations such as Ascociación Pueblos en Acción Comunitaria in 2001 to more than 100 farmers. Some of these farmers saw the first production of rambutan from their trees in 2005–2006 with development directed at the local market. In the Philippines, two cultivars of rambutan are distinguished by their seed. The common rambutan seed and fruit are difficult to separate, while the 'Maharlika Rambutan' fruit separates cleanly
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