21-letter words containing v, e, n, l

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.
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 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 the slip — to move, flow, pass, or go smoothly or easily; glide; slide: Water slips off a smooth surface.
have one's hands full — the terminal, prehensile part of the upper limb in humans and other primates, consisting of the wrist, metacarpal area, fingers, and thumb.
home improvement loan — a government loan for house improvements such as insulation, adding a bathroom, or urgent repairs
ilya ilyich mechnikov — Élie [French ey-lee] /French eɪˈli/ (Show IPA), (Ilya Ilyich Mechnikov) 1845–1916, Russian zoologist and bacteriologist in France: Nobel Prize in medicine 1908.
in one's shirtsleeves — not wearing a jacket
inclusive disjunction — See under disjunction (def 2a).
industrial revolution — (sometimes initial capital letters) the totality of the changes in economic and social organization that began about 1760 in England and later in other countries, characterized chiefly by the replacement of hand tools with power-driven machines, as the power loom and the steam engine, and by the concentration of industry in large establishments.
inflationary universe — a version of the big bang theory in which the universe underwent very rapid growth during the first fraction of a second before it settled down to its current rate of expansion.
information retrieval — the systematic storage and recovery of data, as from a file, card catalog, or the memory bank of a computer. Abbreviation: IR.
internal jugular vein — Anatomy. a jugular vein.
jump all over someone — to spring clear of the ground or other support by a sudden muscular effort; leap: to jump into the air; to jump out a window.
just leave well alone — to refrain from interfering with something that is satisfactory
kekule von stradonitz — Friedrich August [free-drikh ou-goo st] /ˈfri drɪx ˈaʊ gʊst/ (Show IPA), 1829–96, German chemist.
kleine-levin syndrome — prolonged episodes of excessive sleepiness often accompanied by overeating, hallucinations, and electroencephalogram changes, usually beginning in adolescence.
lafcadio's adventures — French Les Caves du Vatican. a novel (1914) by André Gide.
laugh up one's sleeve — the part of a garment that covers the arm, varying in form and length but commonly tubular.
leave holding the bag — a container or receptacle of leather, plastic, cloth, paper, etc., capable of being closed at the mouth; pouch.
leave sb in the lurch — If someone leaves you in the lurch, they go away or stop helping you at a very difficult time.
level of significance — significance level.
magneto-optical drive — magneto-optical disk
maple-leaved viburnum — dockmackie.
model-view-controller — (programming) (MVC) A way of partitioning the design of interactive software; a software architecture pattern. The "model" is the internal workings of the program (the data objects and algorithms), the "view" is how the user sees the state of the model and the "controller" is how the user changes the state or provides input. MVC was the original kind of what is now sometimes called an MV* pattern. Trygve Reenskaug introduced it into Smalltalk-76 while visiting Xerox PARC in the 1970s.
motivational research — the application of the knowledge and techniques of the social sciences, especially psychology and sociology, to understanding consumer attitudes and behavior: used as a guide in advertising and marketing.
multi-level marketing — Multi-level marketing is a marketing technique which involves people buying a product, then earning a commission by selling it to their friends. The abbreviation MLM is also used.
national park service — a division of the Department of the Interior, created in 1916, that administers national parks, monuments, historic sites, and recreational areas.
nonproportional cover — Nonproportional cover is reinsurance cover such as excess of loss reinsurance where the reinsurer's liability is not calculated as a proportion of the insurance.
nonrestrictive clause — a relative clause that describes or supplements but is not essential in establishing the identity of the antecedent and is usually set off by commas in English. In This year, which has been dry, is bad for crops the clause which has been dry is a nonrestrictive clause.
nonviolent resistance — passive resistance, peaceful protest
not for love or money — impossible to obtain by any means
observation satellite — an unmanned satellite that observes the earth and gathers data
of one's own volition — If you do something of your own volition, you do it because you have decided for yourself that you will do it and not because someone else has told you to do it.
overhead-valve engine — I-head engine.
personality inventory — a questionnaire designed to measure personality types or characteristics.
primitive dicotyledon — any living relative of early angiosperms that branched off before the evolution of monocotyledons and eudicotyledons. The group comprises about 5 per cent of the world's plants
privacy enhanced mail —
professional services — (job) A department of a supplier providing consultancy and programming manpower for the supplier's products.
projection television — a television picture display system consisting of a special receiver and an optical system that projects an enlarged picture on a screen.
protective coloration — coloration or anything likened to it that eliminates or reduces visibility or conspicuousness.
quality point average — grade point average.
quantitative analysis — Chemistry. the analysis of a substance to determine the amounts and proportions of its chemical constituents. Compare qualitative analysis.
rap over the knuckles — to reprimand
redevelopment company — a private corporation or a public agency that stimulates the improvement of land, as through a building project subject to certain designs and controls, by financing, selling, or leasing such real estate to interested buyers or lessees.
reverse polish syntax — postfix notation
revillagigedo islands — an uninhabited island group belonging to Mexico, in the Pacific Ocean, SSW of the Baja California peninsula: Socorro is the largest island. 320 sq. mi. (830 sq. km).
roll up one's sleeves — to prepare oneself for work, a fight, etc

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?