slovodefinícia
let floating
(foldoc)
let floating

A program transformation used in {functional
programming} to implement full laziness. E.g. the function

f x = x + sqrt 4

can be expressed as

f x = let t = sqrt 4 in x + t

but note that t does not depend on the argument x so we can
automatically transform this to

t = sqrt 4
f x = x + t

Making t into a global constant which need only be evaluated
at most once, rather than every time f is called. The general
idea is to float each subexpression as far out (toward the
top level) as possible to maximise sharing.

(1997-07-09)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4