Type class
A set of types for which certain operations or methods are defined. E.g. the class Number might have methods for addition and subtraction. Classes are a feature of object oriented languages and of the functional programming language Haskell. See also inheritance.
Read Also:
- Typed lambda-calculus
theory (TLC) A variety of lambda-calculus in which every term is labelled with a type. A function application (A B) is only synctactically valid if A has type s –> t, where the type of B is s (or an instance or s in a polymorphic language) and t is any type. If the types […]
- Tycho brahe
noun 1. Tycho [tee-koh;; Danish ty-koh] /ˈti koʊ;; Danish ˈtü koʊ/ (Show IPA), 1546–1601, Danish astronomer. noun 1. Tycho (ˈtyːço). 1546–1601, Danish astronomer, who designed and constructed instruments that he used to plot accurately the positions of the planets, sun, moon, and stars Brahe (brä, brä’hē) Danish astronomer who made the most accurate and extensive […]
- Tycho
noun 1. a prominent crater in the third quadrant of the face of the moon, about 56 miles (90 km) in diameter. noun 1. a relatively young crater in the SW quadrant of the moon, 4 km deep and 84 km in diameter, with a central peak. It is the centre of a conspicuous system […]
- Type-genus
noun, Biology. 1. the genus that is formally held to be typical of the family or other higher group to which it belongs. type genus (tīp) The taxonomic genus that is designated as representative of the family to which it belongs. The type genus is usually the first genus in the family to be named, […]
- Type-high
adjective, Printing. 1. of a height equal to the distance from the foot to the face of a type: 0.918 inches (23.3 mm). adjective 1. having the height of a piece of type, standardized as 0.918 inches