[Haskell-cafe] Make a DSL serializable

[Michael Better]

Isn't this similar to the problem Cloud Haskell had to solve to send code
to another process to run?

Mike
On Mar 24, 2013 5:06 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.
>
> 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
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130324/75f81ad2/attachment.htm>