Sat Aug 29 19:24:12 CEST 2009
Combining CDR-coding with vectors
Instead of using vectors with tags in the name field, it might be
simpler to optimize the representation for the encoding of CDR-linked
This is to be able to give in to some performance issues: speed is
not important for PF, but memory size might be. Currently, CONS cells
are really expensive, requiring 3 pointer slots per cell.
However, since the rest of the implementation relies heavily on type
tags, maybe this isn't going to work well? It might be better
reserved for a tagless representation..
Something for later.