[Haskell-cafe] Re: Memoizing partially evaluated computations.

2009-03-18 Thread Chung-chieh Shan
Sebastiaan Visser sfvis...@cs.uu.nl wrote in article d86a7d11-f95f-4a27-a13c-2d78afda2...@cs.uu.nl in gmane.comp.lang.haskell.cafe: Suppose I have a list of IO computations that depends on a few very time consuming pure operations. The pure operations are not dependent on the real world:

Re: [Haskell-cafe] Re: Memoizing partially evaluated computations.

2009-03-18 Thread Luke Palmer
On Wed, Mar 18, 2009 at 6:21 AM, Chung-chieh Shan ccs...@post.harvard.eduwrote: Sebastiaan Visser sfvis...@cs.uu.nl wrote in article d86a7d11-f95f-4a27-a13c-2d78afda2...@cs.uu.nl in gmane.comp.lang.haskell.cafe: Suppose I have a list of IO computations that depends on a few very time

Re: [Haskell-cafe] Re: Memoizing partially evaluated computations.

2009-03-18 Thread Chung-chieh Shan
On 2009-03-18T21:24:58-0600, Luke Palmer wrote: On Wed, Mar 18, 2009 at 6:21 AM, Chung-chieh Shan ccs...@post.harvard.eduwrote: computation = [ smallIOfunc x0 , smallIOfunc x1 , smallIOfunc x2 , smallIOfunc x3 ] where smallIOfunc a = print a

Re: [Haskell-cafe] Re: Memoizing partially evaluated computations.

2009-03-18 Thread Luke Palmer
On Wed, Mar 18, 2009 at 10:37 PM, Chung-chieh Shan ccs...@post.harvard.eduwrote: You make an important point that sharing is changed only if the variable (such as x0) is used more than once in the body. Let me note that the definition of computation doesn't have to mention x0 multiple times