slovodefinícia
caf
(mass)
CAF
- Stredoafrická republika
caf
(foldoc)
constant applicative form
CAF

(CAF) A supercombinator which is
not a lambda abstraction. This includes truly constant
expressions such as 12, (+ 1 2), [1, 2, 3] as well as partially
applied functions such as (+ 4). Note that this last example
is equivalent under eta abstraction to \ x . + 4 x which is
not a CAF.

Since a CAF is a supercombinator, it contains no free
variables. Moreover, since it is not a lambda abstraction it
contains no variables at all. It may however contain
identifiers which refer to other CAFs, e.g.

c 3 where c = (* 2).

A CAF can always be lifted to the top level of the program.
It can either be compiled to a piece of graph which will be
shared by all uses or to some shared code which will overwrite
itself with some graph the first time it is evaluated. A CAF
such as

ints = from 1 where from n = n : from (n+1)

can grow without bound but may only be accessible from within
the code of one or more functions. In order for the {garbage
collector} to be able to reclaim such structures, we associate
with each function a list of the CAFs to which it refers.
When garbage collecting a reference to the function we collect
the CAFs on its list.

[{The Implementation of Functional Programming Languages, Simon
Peyton Jones
(http://research.microsoft.com/%7Esimonpj/papers/slpj-book-1987/PAGES/224.HTM)}].

(2006-10-12)
podobné slovodefinícia
cafe
(mass)
cafe
- kaviareň
cafeteria
(mass)
cafeteria
- jedáleň
caff
(mass)
caff
- kaviareň, reštaurácia
caf
(mass)
CAF
- Stredoafrická republika
cafes
(encz)
cafes,restaurace pl. Zdeněk Brož
cafeteria
(encz)
cafeteria,bufet cafeteria,jídelna cafeteria,restaurace se samoobsluhou
caff
(encz)
caff,kavárna n: Zdeněk Brožcaff,restaurace n: Zdeněk Brož
caffeine
(encz)
caffeine,kofein Jiří Šmoldas
caffeine addict
(encz)
caffeine addict,kofeinová závislost n: VlK
caftan
(encz)
caftan,kaftan Jiří Šmoldas
café
(encz)
café,bar [amer.] Jiří Šmoldascafé,káva Jiří Šmoldascafé,kavárna [brit.] nenabízí alkoholické nápoje Jiří Šmoldas
café au lait
(encz)
café au lait,bílá káva Jiří Šmoldas
café noir
(encz)
café noir,černá káva Jiří Šmoldas
cafés
(encz)
cafés,kavárny Jiří Šmoldas
corporate average fuel economy (cafe) standards
(encz)
Corporate Average Fuel Economy (CAFE) Standards,podnikové standardy
průměrné úspornosti při použití paliv [eko.] RNDr. Pavel Piskač
cybercafe
(encz)
cybercafe, n:
decaf
(encz)
decaf,bez kofeinu adv: např. káva Martin Ligač
decaffeinate
(encz)
decaffeinate,odstranit kofein v: Martin Ligač
decaffeinated
(encz)
decaffeinated,bez kofeinu adj: Martin Ligač
decaffeinated coffee
(encz)
decaffeinated coffee, n:
pacaf
(encz)
PACAF,Pacific Air Force [zkr.] [voj.] Zdeněk Brož a automatický překlad
pousse-cafe
(encz)
pousse-cafe, n:
scaffold
(encz)
scaffold,konstrukce n: PetrVscaffold,lešení n: Zdeněk Brožscaffold,popraviště n: Zdeněk Brožscaffold,skelet n: PetrV
scaffolding
(encz)
scaffolding,lešení n: Zdeněk Brož
Beccafico
(gcide)
Beccafico \Bec`ca*fi"co\, n.; pl. Beccaficos. [It., fr.
beccare to peck + fico fig.] (Zool.)
A small bird. (Silvia hortensis), which is highly prized by
the Italians for the delicacy of its flesh in the autumn,
when it has fed on figs, grapes, etc.
[1913 Webster]Figpecker \Fig"peck`er\ (f[i^]g"p[e^]k`[~e]r), n. (Zool.)
The European garden warbler (Sylvia hortensis or {Currica,
hortensis}); -- called also beccafico and {greater
pettychaps}.
[1913 Webster]
beccafico
(gcide)
Beccafico \Bec`ca*fi"co\, n.; pl. Beccaficos. [It., fr.
beccare to peck + fico fig.] (Zool.)
A small bird. (Silvia hortensis), which is highly prized by
the Italians for the delicacy of its flesh in the autumn,
when it has fed on figs, grapes, etc.
[1913 Webster]Figpecker \Fig"peck`er\ (f[i^]g"p[e^]k`[~e]r), n. (Zool.)
The European garden warbler (Sylvia hortensis or {Currica,
hortensis}); -- called also beccafico and {greater
pettychaps}.
[1913 Webster]
Beccaficos
(gcide)
Beccafico \Bec`ca*fi"co\, n.; pl. Beccaficos. [It., fr.
beccare to peck + fico fig.] (Zool.)
A small bird. (Silvia hortensis), which is highly prized by
the Italians for the delicacy of its flesh in the autumn,
when it has fed on figs, grapes, etc.
[1913 Webster]
Bubalus Caffer
(gcide)
Buffalo \Buf"fa*lo\, n.; pl. Buffaloes. [Sp. bufalo (cf. It.
bufalo, F. buffle), fr. L. bubalus, bufalus, a kind of
African stag or gazelle; also, the buffalo or wild ox, fr.
Gr. ? buffalo, prob. fr. ? ox. See Cow the animal, and cf.
Buff the color, and Bubale.]
1. (Zool.) A species of the genus Bos or Bubalus
(Bubalus bubalus), originally from India, but now found
in most of the warmer countries of the eastern continent.
It is larger and less docile than the common ox, and is
fond of marshy places and rivers.
[1913 Webster]

2. (Zool.) A very large and savage species of the same genus
(Syncerus Caffer syn. Bubalus Caffer) found in South
Africa; -- called also Cape buffalo.
[1913 Webster]

3. (Zool.) Any species of wild ox.
[1913 Webster]

4. (Zool.) The bison of North America.
[1913 Webster]

5. A buffalo robe. See Buffalo robe, below.
[1913 Webster]

6. (Zool.) The buffalo fish. See Buffalofish, below.
[1913 Webster]

Buffalo berry (Bot.), a shrub of the Upper Missouri
(Sherherdia argentea) with acid edible red berries.

Buffalo bird (Zool.), an African bird of the genus
Buphaga, of two species. These birds perch upon
buffaloes and cattle, in search of parasites.

Buffalo bug, the carpet beetle. See under Carpet.

Buffalo chips, dry dung of the buffalo, or bison, used for
fuel. [U.S.]

Buffalo clover (Bot.), a kind of clover ({Trifolium
reflexum} and Trifoliumsoloniferum) found in the ancient
grazing grounds of the American bison.

Buffalo cod (Zool.), a large, edible, marine fish
(Ophiodon elongatus) of the northern Pacific coast; --
called also blue cod, and cultus cod.

Buffalo fly, or Buffalo gnat (Zool.), a small dipterous
insect of the genus Simulium, allied to the black fly of
the North. It is often extremely abundant in the lower
part of the Mississippi valley and does great injury to
domestic animals, often killing large numbers of cattle
and horses. In Europe the Columbatz fly is a species with
similar habits.

Buffalo grass (Bot.), a species of short, sweet grass
(Buchlo["e] dactyloides), from two to four inches high,
covering the prairies on which the buffaloes, or bisons,
feed. [U.S.]

Buffalo nut (Bot.), the oily and drupelike fruit of an
American shrub (Pyrularia oleifera); also, the shrub
itself; oilnut.

Buffalo robe, the skin of the bison of North America,
prepared with the hair on; -- much used as a lap robe in
sleighs.
[1913 Webster] buffalofishCape \Cape\ (k[=a]p), n. [F. cap, fr. It. capo head, cape, fr.
L. caput heat, end, point. See Chief.]
A piece or point of land, extending beyond the adjacent coast
into the sea or a lake; a promontory; a headland.
[1913 Webster]

Cape buffalo (Zool.) a large and powerful buffalo of South
Africa (Bubalus Caffer). It is said to be the most
dangerous wild beast of Africa. See Buffalo, 2.

Cape jasmine, Cape jessamine. See Jasmine.

Cape pigeon (Zool.), a petrel (Daptium Capense) common
off the Cape of Good Hope. It is about the size of a
pigeon.

Cape wine, wine made in South Africa [Eng.]

The Cape, the Cape of Good Hope, in the general sense of
the southern extremity of Africa. Also used of Cape Horn,
and, in New England, of Cape Cod.
[1913 Webster]
CaF2
(gcide)
Fluoride \Flu"or*ide\ (? or ?; 104), n. [Cf. F. fluoride.]
(Chem.)
A binary compound of fluorine with another element or
radical.
[1913 Webster]

Calcium fluoride (Min.), fluorite, CaF2. See Fluorite.
[1913 Webster]Fluorite \Flu"or*ite\, n. (Min.)
Calcium fluoride (CaF2), a mineral of many different
colors, white, yellow, purple, green, red, etc., often very
beautiful, crystallizing commonly in cubes with perfect
octahedral cleavage; also massive. It is used as a flux. Some
varieties are used for ornamental vessels. Also called {fluor
spar}, or simply fluor.
[1913 Webster]
Caf'e
(gcide)
Caf'e \Ca`f['e]"\ (k[a^]*f[=a]" or F. k[.a]`f[asl]"), n. [F. See
Coffee.]
A coffeehouse; a restaurant, especially a small restaurant
where drinks and snacks are sold; also, a room in a hotel or
restaurant where coffee and liquors are served.

Syn: coffeehouse, coffee shop, coffee bar.
[1913 Webster + WordNet 1.5]