| slovo | definícia |
curried
(encz) | curried, |
Curried
(gcide) | Curried \Cur"ried\ (-r?d), p. a. [See Curry, v. t., and
Curry, n.]
[1913 Webster]
1. Dressed by currying; cleaned; prepared.
[1913 Webster]
2. Prepared with curry; as, curried rice, fowl, etc.
[1913 Webster] |
Curried
(gcide) | Curry \Cur"ry\ (k?r"r?), v. t. [imp. & p. p. Curried (-r?d);
p. pr. & vb. n. Currying.] [OE. curraien, curreien, OF.
cunreer, correier, to prepare, arrange, furnish, curry (a
horse), F. corroyer to curry (leather) (cf. OF. conrei,
conroi, order, arrangement, LL. conredium); cor- (L.com-) +
roi, rei, arrangement, order; prob. of German origin, and
akin to E. ready. See Ready, Greith, and cf. Corody,
Array.]
1. To dress or prepare for use by a process of scraping,
cleansing, beating, smoothing, and coloring; -- said of
leather.
[1913 Webster]
2. To dress the hair or coat of (a horse, ox, or the like)
with a currycomb and brush; to comb, as a horse, in order
to make clean.
[1913 Webster]
Your short horse is soon curried. --Beau. & FL.
[1913 Webster]
3. To beat or bruise; to drub; -- said of persons.
[1913 Webster]
I have seen him curry a fellow's carcass handsomely.
--Beau. & FL.
[1913 Webster]
To curry favor, to seek to gain favor by flattery or
attentions. See Favor, n.
[1913 Webster] |
| | podobné slovo | definícia |
scurried
(encz) | scurried, |
Curried
(gcide) | Curried \Cur"ried\ (-r?d), p. a. [See Curry, v. t., and
Curry, n.]
[1913 Webster]
1. Dressed by currying; cleaned; prepared.
[1913 Webster]
2. Prepared with curry; as, curried rice, fowl, etc.
[1913 Webster]Curry \Cur"ry\ (k?r"r?), v. t. [imp. & p. p. Curried (-r?d);
p. pr. & vb. n. Currying.] [OE. curraien, curreien, OF.
cunreer, correier, to prepare, arrange, furnish, curry (a
horse), F. corroyer to curry (leather) (cf. OF. conrei,
conroi, order, arrangement, LL. conredium); cor- (L.com-) +
roi, rei, arrangement, order; prob. of German origin, and
akin to E. ready. See Ready, Greith, and cf. Corody,
Array.]
1. To dress or prepare for use by a process of scraping,
cleansing, beating, smoothing, and coloring; -- said of
leather.
[1913 Webster]
2. To dress the hair or coat of (a horse, ox, or the like)
with a currycomb and brush; to comb, as a horse, in order
to make clean.
[1913 Webster]
Your short horse is soon curried. --Beau. & FL.
[1913 Webster]
3. To beat or bruise; to drub; -- said of persons.
[1913 Webster]
I have seen him curry a fellow's carcass handsomely.
--Beau. & FL.
[1913 Webster]
To curry favor, to seek to gain favor by flattery or
attentions. See Favor, n.
[1913 Webster] |
curried function
(foldoc) | curried function
A function of N arguments that
is considered as a function of one argument which returns
another function of N-1 arguments. E.g. in Haskell we can
define:
average :: Int -> (Int -> Int)
(The parentheses are optional). A partial application of
average, to one Int, e.g. (average 4), returns a function of
type (Int -> Int) which averages its argument with 4. In
uncurried languages a function must always be applied to all
its arguments but a partial application can be represented
using a lambda abstraction:
\ x -> average(4,x)
Currying is necessary if full laziness is to be applied to
functional sub-expressions.
It was named after the logician Haskell Curry but the
19th-century logician, Gottlob Frege was the first to
propose it and it was first referred to in ["Uber die
Bausteine der mathematischen Logik", M. Schoenfinkel,
Mathematische Annalen. Vol 92 (1924)].
David Turner said he got the term from {Christopher
Strachey} who invented the term "currying" and used it in his
lecture notes on programming languages written circa 1967.
Strachey also remarked that it ought really to be called
"Schoenfinkeling".
Stefan Kahrs reported hearing somebody in
Germany trying to introduce "scho"nen" for currying and
"finkeln" for "uncurrying". The verb "scho"nen" means "to
beautify"; "finkeln" isn't a German word, but it suggests "to
fiddle".
["Some philosophical aspects of combinatory logic",
H. B. Curry, The Kleene Symposium, Eds. J. Barwise,
J. Keisler, K. Kunen, North Holland, 1980, pp. 85-101]
(2002-07-24)
|
|