Sharing: Difference between revisions
No edit summary |
mNo edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 7: | Line 7: | ||
</haskell> | </haskell> | ||
<hask>x</hask> is used twice as factor in the product <hask>x*x</hask>. | <hask>x</hask> is used twice as factor in the product <hask>x*x</hask>. | ||
Due to [[ | Due to [[referential transparency]] it does not play a role, | ||
whether <hask>sin 2</hask> is computed twice or | whether <hask>sin 2</hask> is computed twice or | ||
whether it is computed once and the result is stored and reused. | whether it is computed once and the result is stored and reused. | ||
| Line 20: | Line 20: | ||
Because the sharing property cannot be observed in Haskell, | Because the sharing property cannot be observed in Haskell, | ||
it is hard to transfer the sharing property to foreign programs | it is hard to transfer the sharing property to foreign programs | ||
when you use Haskell as an [[ | when you use Haskell as an [[embedded domain specific language]]. | ||
You must design a monad or use [[unsafePerformIO]] hacks, which should be avoided. | You must design a monad or use [[pseudo-function|unsafePerformIO]] hacks, which should be avoided. | ||
[[Category:Glossary]] | [[Category:Glossary]] | ||
Latest revision as of 04:07, 8 March 2025
Sharing means that temporary data is physically stored, if it is used multiple times.
In
let x = sin 2
in x*xx is used twice as factor in the product x*x.
Due to referential transparency it does not play a role,
whether sin 2 is computed twice or
whether it is computed once and the result is stored and reused.
However, when you write let the Haskell compiler will certainly decide to store the result.
This can be the wrong way, if a computation is cheap but its result is huge.
Consider
[0..1000000] ++ [0..1000000]where it is much cheaper to compute the list of numbers than to store it with full length.
Because the sharing property cannot be observed in Haskell, it is hard to transfer the sharing property to foreign programs when you use Haskell as an embedded domain specific language. You must design a monad or use unsafePerformIO hacks, which should be avoided.