[Haskell-cafe] Make a DSL serializable

[Corentin Dupont]

I also came across Scala's Swarm, making use serializable delimited
continuations. Looks good!
http://www.scala-lang.org/node/3485

On Sun, Mar 24, 2013 at 11:13 PM, Michael Better <mbetter at gmail.com> wrote:

> 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/29cb80c2/attachment.htm>