[Haskell-cafe] Make a DSL serializable

[Corentin Dupont]

On Sun, Mar 24, 2013 at 11:05 PM, Brandon Allbery <allbery.b at gmail.com>wrote:

> 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.
>

haha as always :) But Haskell is a bit about 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/1b13fa64/attachment.htm>