Hi,
> {-# LANGUAGE ExistentialQuantification, ScopedTypeVariables #-}
Following the related discussion on #haskell, I ended up writing the below
code (thanks to the suggestions). This is for a genetic programming
library, but the usage would be similar. It also (de)serializes
TypeRep.
I'm a has
I use a trick like this to allow saving of dynamics into ho files for
jhc, the same thing will work for network connections.
see Info.Info for the data type, and Info.Binary for the binary
serialization routines.
http://repetae.net/dw/darcsweb.cgi?r=jhc;a=tree;f=/Info
John
--
John Meac
On Tue, May 13, 2008 at 7:39 PM, Jules Bean <[EMAIL PROTECTED]> wrote:
> One thing which you can't obviously do is write Read or Show instances
> for Dynamic. So can we pass Dynamic data over the wire? If not,
> Dynamic is limited to the context of "within a single program", and
> can't be use
Hello Jules,
Tuesday, May 13, 2008, 9:39:12 PM, you wrote:
> This is close, and works as far as it goes. It is a limited
> reimplementation of Dynamic which uses show/read instead of
there are gread/gshow funcs. don't know how these works, though :)
--
Best regards,
Bulat
> {-# LANGUAGE ScopedTypeVariables #-}
Data.Dynamic gives a passable impression of adding support for
dynamically typed code and runtime typing to GHC, without changing
the basic statically typed, all types known at runtime nature of the
language.
Note that Data.Dynamic relies upon two things: i
