From 3744752020597131095 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f78e5,ccbfcafab96cf493 X-Google-Attributes: gidf78e5,public X-Google-ArrivalTime: 2001-11-28 09:58:02 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!hub1.nntpserver.com!btnet-peer0!btnet!dispose.news.demon.net!news.demon.co.uk!demon!mail2news.demon.co.uk!not-for-mail From: apm35@student.open.ac.uk (apm) Newsgroups: comp.std.c++ Subject: Re: Proposol to increase robustness of programs Date: Wed, 28 Nov 2001 17:57:21 GMT Organization: http://groups.google.com/ Approved: Fergus Henderson , moderator of comp.std.c++ Message-ID: References: <3C025715.9050709@earthlink.net> X-Trace: mail2news.demon.co.uk 1006970246 mail2news:9971 mail2news mail2news.demon.co.uk X-Complaints-To: abuse@demon.net X-Mail2News-Path: news.demon.net!mulga.cs.mu.oz.au X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov) Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit NNTP-Posting-Date: 28 Nov 2001 10:33:30 GMT Lines: 21 Xref: archiver1.google.com comp.std.c++:8331 brangdon@cix.co.uk (Dave Harris) wrote in message news:... > I think it would be very helpful for the compiler to verify cross-module > consistency in this area. The issues remind me of type-safe linkage. > > Dave Harris, Nottingham, UK | "Weave a circle round him thrice, > brangdon@cix.co.uk | And close your eyes with holy dread, Maybe but I think C++ will never do this. In D&E and elsewhere Stroustrup says that he considered making C++ more like an environment but decided against it. This is one of the reasons why he left as unspecified how C++ would resolve template instantiation: link-time instantiate and compile-time instantiate are equally valid. -apm --- [ comp.std.c++ is moderated. To submit articles, try just posting with ] [ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ] [ --- Please see the FAQ before posting. --- ] [ FAQ: http://www.research.att.com/~austern/csc/faq.html ]