Rambutan Rambutan The rambutan (, taxonomic name: "Nephelium lappaceum") is a medium-sized tropical tree in the family Sapindaceae. The name also refers to the edible fruit produced by this tree. The rambutan is native to the Indonesian region, and other regions of tropical Southeast Asia. It is closely related to several other edible tropical fruits including the lychee, longan, and mamoncillo. The name "rambutan" is derived from the Malay word "rambut" meaning "hair", a reference to the numerous hairy protuberances of the fruit, together with the noun-building suffix "-an". Similarly, in Vietnam, it is called "chôm chôm" (meaning "messy hair"). Native
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