From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,beb0b7471c6440e3 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-27 08:52:00 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!news.gtei.net!newsfeed1.cidera.com!Cidera!easynews!sjc-peer.news.verio.net!news.verio.net!sea-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: 'Cyclone', a safer C--reinventing the wheel In-Reply-To: <0cOM7.85029$XJ4.46127980@news1.sttln1.wa.home.com> Message-ID: References: <3BFA4095.8325D016@earthlink.net> <27085883.0111201750.234ce321@posting.google.com> <3c034c88.494656@News.CIS.DFN.DE> <0cOM7.85029$XJ4.46127980@news1.sttln1.wa.home.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Tue, 27 Nov 2001 16:51:56 GMT NNTP-Posting-Host: 192.220.65.223 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 1006879916 192.220.65.223 (Tue, 27 Nov 2001 16:51:56 GMT) NNTP-Posting-Date: Tue, 27 Nov 2001 16:51:56 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:17049 Date: 2001-11-27T16:51:56+00:00 List-Id: On Tue, 27 Nov 2001, Mark Lundquist wrote: > "Dmitry A. Kazakov" wrote in message > news:3c034c88.494656@News.CIS.DFN.DE... > > On Mon, 26 Nov 2001 10:42:54 GMT, "Mark Lundquist" > > > > >I do think that Ada or an Ada-like language should have something like > > >template specialization / partial specialization in C++. > > > > I think it would be better to review tagged types and provide > > user-written compile-time subroutines to reduce use of generics. > > Actually, template "metaprogramming" doesn't really excite me I admit, I find it pretty neat, but that's not what I want when I long for automatic instantiation. Once you have a combination of type inference and overloading its too easy to get non-termination as a feature of type checking. If I really want template metaprogramming, better to just have Lisp style procedural macros. > (and I don't think generics should be macros anyway). As an implementation strategy, its fine, but I agree that generics are a different beast. > I'm interested in template specialization for the purpose for which it > was originally designed, and also for trait programming. Yes, and in an Ada like language generics should still obey the contract model. > When you say "review tagged types", is that related, or an entirely > different concern? (I remember you were the one who wanted multiple > dispatch a while back... :-) MD is a nice feature, and I like it in Lisp/Dylan, but I think its a bit much for a language like Ada. I'm of the opinion that genericity is the part of Ada that could use some enhancement. Once Ada gets some Java-like interface capability in its OO part, that should be enough. -- Brian