Shiitake increase substantially. Like all mushrooms, shiitakes produce vitamin D2 upon exposure of their internal ergosterol to ultraviolet B (UVB) rays from sunlight or broadband UVB fluorescent tubes. Fresh and dried shiitake have many uses in the cuisines of East Asia. In Japan, they are served in miso soup, used as the basis for a kind of vegetarian "dashi", and as an ingredient in many steamed and simmered dishes. In Chinese cuisine, they are often sautéed in vegetarian dishes such as Buddha's delight. One type of high-grade shiitake is called in Japanese and ' in Chinese, literally "winter mushroom". Another high-grade
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