<div dir="ltr">On Sun, Mar 24, 2013 at 5:44 PM, Corentin Dupont <span dir="ltr">&lt;<a href="mailto:corentin.dupont@gmail.com" target="_blank">corentin.dupont@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
But I always bothered me that this state is not serializable...</blockquote><div><br></div><div>I am not quite sure how to respond to that. You seem to be asking for magic.</div><div><br></div><div>That kind of state has never been sanely serializeable. Not in Haskell, not anywhere else. The usual hack is to dump an entire memory image to disk, either as an executable (see &quot;gcore&quot; and &quot;undump&quot;; also see how the GNU emacs build dumps a &quot;preloaded&quot; emacs executable) or by dumping the data segment as raw bytes and reloading it as such (which doesn&#39;t work so well in modern demand paged executables; it can work better with a virtual machine environment, and various Lisp and Smalltalk implementations dump and reload their raw VM images this way).</div>
<div><br></div><div>I would not be surprised if what you seem to be asking for turns out to be yet another guise of the halting problem.</div><div> </div></div>-- <br><div dir="ltr"><div>brandon s allbery kf8nh                               sine nomine associates</div>
<div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>                                  <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad        <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div>
</div>
</div>