Thu Jun 12 09:46:36 EDT 2014

Embedding nested structures

I need to embed a nested C structure in a database, i.e. record the
byte offsets.  This seems to be similar to the previous problem of
outer product in that it is higher order: number of nestings depends
on the content.  However in practice in my problem there are only two

So what is a structure?

An invertible map from names to byte offsets.

I guess the key part here is the invertible nature: it should not be
lost when introducting the nesting operation.

Looks like this is the same trick as I've been using before: abstract
it as functions first.  See next post.