Steve, On Saturday 19 November 2005 11:14, Steve Graegert wrote:
On 11/19/05, Steven T. Hatton
wrote: ...
http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1885.pdf http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1886.pdf,
Steven,
Do you expect from the community to comment on that? Since these proposals, among others concerning C++0x, are still under active discussion and only experimental compilers in academic environments have partially implemented some similar techniques, primarily to prove that complete typed ASTs can be created with such a formalism (although C++ is only one example here), it is of no interest for this list. I think that comp.lang.c++ and comp.compilers are better places to get into discussions on this issue (if that is what you wanted).
Well, I for one, as someone interested in formal, mathematical logic and its relationship to programming and its possible application to programming languages and tools, appreciated this pointer.
Steve Graegert
Randall Schulz