Re: [boost] [serialization docs] Ping?

Robert Ramey wrote:

Very interesting.

First I'm surprised that anyone else was even looking at that thread after all this time.

Its clear that there is a strong parallel here - maybe even a one-to-one correspondence.

I've concluded that the concept of Semantic really isn't formal. Its a narrative description of what someone expects an expression to do.

Right. Coming from mathematical logic it's clear to me that usual concept definitions aren't really formal. I'd call them 'semi-formal'. If you wanted to write a truly formal specification, you'd first have to describe an abstract machine to represent C++ programs and their execution environments, because the C++ standard isn't really formal, either. -- Jonathan Turkanis www.kangaroologic.com