英和和英

出典:『Wikipedia』 (2011/07/01 09:42 UTC 版)

英語による解説

引用

The top type in type theory, commonly abbreviated as top or by the down tack symbol (⊤), is the universal type—that type which contains every possible object in the type system of interest. The top type is sometimes called the universal supertype as all other types in any given type system are subtypes of top. It is in contrast with the bottom type, or the universal subtype, which is the type containing no members at all.