Shiitake Shiitake The shiitake (; Lentinula edodes) is an edible mushroom native to East Asia, which is cultivated and consumed in many Asian countries. It is considered a medicinal mushroom in some forms of traditional medicine. The fungus was first described scientifically as "Agaricus edodes" by Miles Joseph Berkeley in 1877. It was placed in the genus "Lentinula" by David Pegler in 1976. The fungus has acquired an extensive synonymy in its taxonomic history: The mushroom's Japanese name is composed of , for the tree "Castanopsis cuspidata" that provides the dead logs on which it is typically cultivated, and . 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