21-letter words containing n, a, i
- generic type variable — (programming) (Also known as a "schematic type variable"). Different occurrences of a generic type variable in a type expression may be instantiated to different types. Thus, in the expression let id x = x in (id True, id 1) id's type is (for all a: a -> a). The universal quantifier "for all a:" means that a is a generic type variable. For the two uses of id, a is instantiated to Bool and Int. Compare this with let id x = x in let f g = (g True, g 1) in f id This looks similar but f has no legal Hindley-Milner type. If we say f :: (a -> b) -> (b, b) this would permit g's type to be any instance of (a -> b) rather than requiring it to be at least as general as (a -> b). Furthermore, it constrains both instances of g to have the same result type whereas they do not. The type variables a and b in the above are implicitly quantified at the top level: f :: for all a: for all b: (a -> b) -> (b, b) so instantiating them (removing the quantifiers) can only be done once, at the top level. To correctly describe the type of f requires that they be locally quantified: f :: ((for all a: a) -> (for all b: b)) -> (c, d) which means that each time g is applied, a and b may be instantiated differently. f's actual argument must have a type at least as general as ((for all a: a) -> (for all b: b)), and may not be some less general instance of this type. Type variables c and d are still implicitly quantified at the top level and, now that g's result type is a generic type variable, any types chosen for c and d are guaranteed to be instances of it. This type for f does not express the fact that b only needs to be at least as general as the types c and d. For example, if c and d were both Bool then any function of type (for all a: a -> Bool) would be a suitable argument to f but it would not match the above type for f.
- genetic amplification — an increase in the frequency of replication of a DNA segment.
- get in someone's hair — any of the numerous fine, usually cylindrical, keratinous filaments growing from the skin of humans and animals; a pilus.
- gideons international — an interdenominational lay society organized in 1899 to place Bibles in hotel rooms.
- giovanni da verrazano — Giovanni da [jaw-vahn-nee dah] /dʒɔˈvɑn ni dɑ/ (Show IPA), c1480–1527? Italian navigator and explorer.
- give place to someone — to make room for or be superseded by someone
- give sb a green light — If someone in authority gives you a green light, they give you permission to do something.
- give sb the runaround — If someone gives you the runaround, they deliberately do not give you all the information or help that you want, and send you to another person or place to get it.
- give someone a leg up — to help someone to climb an obstacle by pushing upwards
- give someone a tinkle — to call someone on the telephone
- give someone his head — to allow a person greater freedom or responsibility
- give someone the gate — a movable barrier, usually on hinges, closing an opening in a fence, wall, or other enclosure.
- glacier national park — a national park in NW Montana: glaciers; lakes; forest reserve. 1534 sq. mi. (3970 sq. km).
- glen of imaal terrier — a strongly-built medium-sized variety of terrier with a medium-length coat and short forelegs
- go (in) to bat for sb — If you go to bat for someone or go in to bat for them, you give them your support.
- gold bullion standard — a gold standard in which gold is not coined but may be purchased at a fixed price for foreign exchange.
- government in waiting — a political group which is hoping to be elected to govern in the near future
- grammatical inference — Deducing a grammar from given examples. Also known as "inductive inference" and recently as "computational learning".
- great smoky mountains — the W part of the Appalachians, in W North Carolina and E Tennessee. Highest peak: Clingman's Dome, 2024 m (6642 ft)
- greater sunda islands — a group of islands in the W Malay Archipelago, forming the larger part of the Sunda Islands: consists of Borneo, Sumatra, Java, and Sulawesi
- green river ordinance — a local ordinance banning door-to-door selling.
- greenwich observatory — the national astronomical observatory of Great Britain, housed in a castle in E Sussex; formerly located at Greenwich.
- gretna green marriage — marriage without parental consent; elopement.
- ground-effect machine — ACV (def 2).
- guaranteed scheduling — (algorithm) A scheduling algorithm used in multitasking operating systems that guarantees fairness by monitoring the amount of CPU time spent by each user and allocating resources accordingly.
- have it coming to one — to deserve what one is about to suffer
- have one's hands tied — the terminal, prehensile part of the upper limb in humans and other primates, consisting of the wrist, metacarpal area, fingers, and thumb.
- have the inside track — If you say that someone has the inside track, you mean that they have an advantage, for example special knowledge about something.
- hawaiian honeycreeper — any small to medium-sized finches of the subfamily Drepanidinae, native to the Hawaiian Islands and including many rare and extinct species.
- hazard warning device — an appliance fitted to a motor vehicle that operates the hazard lights
- heliocentric parallax — the apparent displacement of an observed object due to a change in the position of the observer.
- help a person on with — to assist a person in the putting on of (clothes)
- highest common factor — greatest common divisor. Abbreviation: H.C.F.
- hildegard (of bingen) — Saint(1098-1179); Ger. nun, composer, & mystic: her day is Sept. 17
- hindu-arabic numerals — Arabic numeral.
- home improvement loan — a government loan for house improvements such as insulation, adding a bathroom, or urgent repairs
- homogeneous catalysis — Homogeneous catalysis is catalysis in which the catalyst takes part in the reaction that it increases.
- hop, skip, and a jump — a short distance: The laundry is just a hop, skip, and a jump away.
- horizontal stabilizer — the horizontal surface, usually fixed, of an aircraft empennage, to which the elevator is hinged.
- horizontal tabulation — (character) (tab, Control-I, HT, ASCII 9) A character which when displayed or printed causes the following character to be placed at the next "tabstop" - the column whose number is a multiple of the current tab width. Commonly (especially in Unix(?)) the tab width is eight, so, counting from the left margin (column zero), the tab stops are at columns 8, 16, 24, up to the width of the screen or page. A tab width of four or two is often preferred when indenting program source code to conserve indentation. Represented as "\t" in C, Unix, and derivatives.
- host command facility — (operating system) (HCF) Used to access IBM S/36 and AS/400 computers from a mainframe.
- hubble classification — a method of classifying galaxies depending on whether they are elliptical, spiral, barred spiral, or irregular
- human papilloma virus — a species of virus that causes genital warts. Abbreviation: HPV.
- human rights activist — a person who campaigns for human rights
- humanistic psychology — an approach to psychology that emphasizes emotions and the better understanding of the self in terms of observation of oneself and one's relations with others
- hyperlipoproteinaemia — the condition of having an abnormally high level of lipoproteins in the blood
- hypogammaglobulinemia — A type of immune disorder characterised by a reduction in all types of gamma globulins.
- hysterosalpingography — (medicine) X-ray examination of the uterus and oviducts following injection of a radiopaque substance.
- i don't know how/what — You use I don't know in expressions which indicate criticism of someone's behaviour. For example, if you say that you do not know how someone can do something, you mean that you cannot understand or accept them doing it.
- identical proposition — a proposition in which the subject and predicate have the same meaning, as, “That which is mortal is not immortal.”.