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,7f2ce8bda9cae4ab X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: "Must instantiate controlled types at library level." Why? Date: Wed, 19 May 2004 15:28:30 +0200 Message-ID: References: <1084970288.701041@master.nyc.kbcfp.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de yrAFHKX38zQou2IQvPTBTwp00nSuaJNDZh1keWSKY1g8g3aEM= X-Newsreader: Forte Agent 1.8/32.548 Xref: controlnews3.google.com comp.lang.ada:685 Date: 2004-05-19T15:28:30+02:00 List-Id: On Wed, 19 May 2004 08:38:08 -0400, Hyman Rosen wrote: >Dmitry A. Kazakov wrote: > > It is C++'s insufficient ADT which led to STL. > >This is completely wrong. In fact, Stepanov wrote the first >version of what would become STL in Ada in 1985. I know it well. >He even tried >to influence Stroustrup to adopt Ada's explicit instantiation >model of generics, and only when he started using implicit >instantiations did he come to realize their power. You can >read about this in an interview with him from 1995, >. Stepanov wished generic programming. He chose templates because ADT (either in Ada 83 or in C++) was insufficient to provide that (remember his "max" test.) So he came to a conclusion that the whole OO (technically = ADT) is unsound. This is IMO wrong, because templates are not the only way. -- Regards, Dmitry Kazakov www.dmitry-kazakov.de