[Haskell-cafe] Serialization of (a -> b) and IO a
ketil at malde.org
Thu Nov 11 10:53:26 EST 2010
Dan Doel <dan.doel at gmail.com> writes:
> You'd lose the whole notion of 'the category of haskell types and functions'
> goodbye, too. Does f . id = f? Not if the former serializes as "f . id".
..and you are able to tell the difference. Am I wrong in thinking that
this could be made to work if serialization was to/from an opaque type
instead of (Byte)String, so that the *only* operations would be
serialization and deserialization (and possibly storing to/from file)?
If I haven't seen further, it is by standing in the footprints of giants
More information about the Haskell-Cafe