> 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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to