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 07:21:33 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!arclight.uoregon.edu!enews.sgi.com!newshub2.rdc1.sfba.home.com!news.home.com!news1.sttln1.wa.home.com.POSTED!not-for-mail From: "Mark Lundquist" Newsgroups: comp.lang.ada References: <3BFA4095.8325D016@earthlink.net> <27085883.0111201750.234ce321@posting.google.com> <3c034c88.494656@News.CIS.DFN.DE> Subject: Re: 'Cyclone', a safer C--reinventing the wheel X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 Message-ID: <0cOM7.85029$XJ4.46127980@news1.sttln1.wa.home.com> Date: Tue, 27 Nov 2001 15:21:32 GMT NNTP-Posting-Host: 24.248.56.237 X-Complaints-To: abuse@home.net X-Trace: news1.sttln1.wa.home.com 1006874492 24.248.56.237 (Tue, 27 Nov 2001 07:21:32 PST) NNTP-Posting-Date: Tue, 27 Nov 2001 07:21:32 PST Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: archiver1.google.com comp.lang.ada:17046 Date: 2001-11-27T15:21:32+00:00 List-Id: "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 (and I don't think generics should be macros anyway). I'm interested in template specialization for the purpose for which it was originally designed, and also for trait programming. 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... :-) Mark Lundquist http://members.home.com/mlundquist2/consulting