Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
let floating
Jump to user comments
programming A program transformation used in functionalprogramming 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