| slovo | definícia |
laziness
(encz) | laziness,lenost n: Zdeněk Brož |
Laziness
(gcide) | Laziness \La"zi*ness\, n.
The state or quality of being lazy.
[1913 Webster]
Laziness travels so slowly, that Poverty soon overtakes
him. --Franklin.
[1913 Webster] |
laziness
(wn) | laziness
n 1: inactivity resulting from a dislike of work [syn:
indolence, laziness]
2: relaxed and easy activity; "the laziness of the day helped
her to relax"
3: apathy and inactivity in the practice of virtue (personified
as one of the deadly sins) [syn: sloth, laziness,
acedia] |
laziness
(foldoc) | lazy evaluation
laziness
An evaluation strategy combining {normal order
evaluation} with updating. Under normal order evaluation
(outermost or call-by-name evaluation) an expression is
evaluated only when its value is needed in order for the
program to return (the next part of) its result. Updating
means that if an expression's value is needed more than once
(i.e. it is shared), the result of the first evaluation is
remembered and subsequent requests for it will return the
remembered value immediately without further evaluation. This
is often implemented by graph reduction. An unevaluated
expression is represented as a closure - a data structure
containing all the information required to evaluate the
expression.
Lazy evaluation is one evaluation strategy used to implement
non-strict functions. Function arguments may be infinite
data structures (especially lists) of values, the components
of which are evaluated as needed.
According to Phil Wadler the term was invented by Jim Morris.
Opposite: eager evaluation.
A partial kind of lazy evaluation implements lazy data
structures or especially lazy lists where function arguments
are passed evaluated but the arguments of data constructors
are not evaluated.
Full laziness is a program transformation which aims to
optimise lazy evaluation by ensuring that all subexpressions
in a function body which do not depend on the function's
arguments are only evaluated once.
(1994-12-14)
|
laziness
(devil) | LAZINESS, n. Unwarranted repose of manner in a person of low degree.
|
| | podobné slovo | definícia |
Laziness
(gcide) | Laziness \La"zi*ness\, n.
The state or quality of being lazy.
[1913 Webster]
Laziness travels so slowly, that Poverty soon overtakes
him. --Franklin.
[1913 Webster] |
full laziness
(foldoc) | full laziness
A transformation, described by
Wadsworth in 1971, which ensures that subexpressions in a
function body which do not depend on the function's arguments
are only evaluated once. E.g. each time the function
f x = x + sqrt 4
is applied, (sqrt 4) will be evaluated. Since (sqrt 4) does
not depend on x, we could transform this to:
f x = x + sqrt4
sqrt4 = sqrt 4
We have replaced the dynamically created (sqrt 4) with a
single shared constant which, in a graph reduction system,
will be evaluated the first time it is needed and then updated
with its value.
See also fully lazy lambda lifting, let floating.
(1994-11-09)
|
|