On Tuesday 02 October 2007 19:51:47 Anatoly Yakovenko wrote: > > If its specifically the list instance, where we currently trade laziness > > for efficiency of encoding (which may or may not be the right thing), > > I'd suggest a fully lazy encoding instance? > > Its not really a list, its more of a tree that has shared nodes, so > something like this: > > A > / \ > B C > \ / > D > / \ > E F > > I suspect that maybe after encode/decode i end up with something like > > A > / \ > B C > / \ > D D > / \ / \ > E F E F
That is correct, binary doesn't attempt to share substructures. If you'd like to do this, you'll need to do it by hand. Cheers, Spencer Janssen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe