Controlling Eagerness in Lazy Languages
In lazy programming languages such as Haskell, although the default is to evaluate expressions only when they are demanded, it is possible in some cases to make code more eager—or conversely, to make it more lazy again after it has been made more eager. This can be done by explicitly coding something which forces evaluation (which may make the code more eager) or avoiding such code (which may make the code more lazy). Strict evaluation usually implies eagerness, but they are technically different concepts.
However, there is an optimisation implemented in some compilers called strictness analysis, which, in some cases, allows the compiler to infer that a value will always be used. In such cases, this may render the programmer's choice of whether to force that particular value or not, irrelevant, because strictness analysis will force strict evaluation.
In Haskell, marking constructor fields strict means that their values will always be demanded immediately. The seq function can also be used to demand a value immediately and then pass it on, which is useful if a constructor field should generally be lazy. However, neither of these techniques implements recursive strictness—for that, a function called deepSeq was invented.
Also, pattern matching in Haskell 98 is strict by default, so the ~ qualifier has to be used to make it lazy.
Read more about this topic: Lazy Evaluation
Famous quotes containing the words controlling, eagerness, lazy and/or languages:
“In controlling men:
If at first you don’t succeed,
Why, cry, cry, again.”
—Unknown. A Maxim Revised (l. 3–4)
“Children who begin life with an eagerness to please, need to know that not pleasing is also all right now and then. They learn tolerance for others’ faults through our tolerance of their own.”
—Cathy Rindner Tempelsman (20th century)
“To exercise power costs effort and demands courage. That is why so many fail to assert rights to which they are perfectly entitled—because a right is a kind of power but they are too lazy or too cowardly to exercise it. The virtues which cloak these faults are called patience and forbearance.”
—Friedrich Nietzsche (1844–1900)
“People in places many of us never heard of, whose names we can’t pronounce or even spell, are speaking up for themselves. They speak in languages we once classified as “exotic” but whose mastery is now essential for our diplomats and businessmen. But what they say is very much the same the world over. They want a decent standard of living. They want human dignity and a voice in their own futures. They want their children to grow up strong and healthy and free.”
—Hubert H. Humphrey (1911–1978)