Can you please explain this:<br><br><blockquote style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;" class="gmail_quote">....the parameters baked into the
thunk may be infinite....<br></blockquote><br><br>daryoush<br><br><br><div class="gmail_quote">On Sat, Apr 10, 2010 at 6:27 AM, Svein Ove Aas <span dir="ltr"><<a href="mailto:svein.ove@aas.no">svein.ove@aas.no</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">On Sat, Apr 10, 2010 at 11:19 AM, Jon Fairbairn<br>
<<a href="mailto:jon.fairbairn@cl.cam.ac.uk">jon.fairbairn@cl.cam.ac.uk</a>> wrote:<br>
> It sounds more like he wants two functions something like<br>
><br>
> save:: FilePath -> [IO ()] -> IO ()<br>
> restore:: FilePath -> IO [IO ()]<br>
><br>
> to which the answer would be no.<br>
><br>
</div>It's an insoluble problem in general - the parameters baked into the<br>
thunk may be infinite, or at least too large to persist, and the<br>
functions may not be around if you try to load the persisted data into<br>
a different version of the executable - but it's an interesting<br>
problem to attempt solving.<br>
<br>
Given that GHC 6.12 has added some of the base functionality required<br>
(i.e. dynamic linking), I was planning to take a bash at it<br>
(persisting functions in general, not just IO actions) in the summer.<br>
<br>
I don't know if that would help you, though. It's certainly not a good<br>
idea in general, and at any rate there's a good chance I won't<br>
succeed.<br>
<br>
(Of course, thunks aren't /actually/ infinite, in memory. Part of the<br>
project would be an attempt to persist the thunks, allowing lazy<br>
evaluation after reading them back in. Naturally this would only work<br>
with the exact same executable, but that's not necessarily a problem.)<br>
<br>
--<br>
<font color="#888888">Svein Ove Aas<br>
</font><div><div></div><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br><br>