On 11/19/05, Randall R Schulz
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.
So have I and your point is indeed valid. There are lots of other
mailing lists and newsgroups specifically for discussing advanced
compiler techniques, algorithmic approaches to languages and the like.
I am willing to discuss general programming topics and provide
solutions to certain problems on this list but I think the OP is to
far away from the purpose of suse-programming-e.
\Steve
--
Steve Graegert