[Haskell-cafe] Make a DSL serializable

[Brandon Allbery]

On Sun, Mar 24, 2013 at 5:44 PM, Corentin Dupont
<corentin.dupont at gmail.com>wrote:

> But I always bothered me that this state is not serializable...


I am not quite sure how to respond to that. You seem to be asking for magic.

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 "gcore" and "undump"; also see how the GNU
emacs build dumps a "preloaded" emacs executable) or by dumping the data
segment as raw bytes and reloading it as such (which doesn'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).

I would not be surprised if what you seem to be asking for turns out to be
yet another guise of the halting problem.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130324/b31abe4e/attachment.htm>