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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5af5c381381ac5a7 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,UTF8 Path: g2news2.google.com!news1.google.com!npeer01.iad.highwinds-media.com!feed-me.highwinds-media.com!cyclone01.ams2.highwinds-media.com!news.highwinds-media.com!feeder.news-service.com!border1.nntp.ams.giganews.com!nntp.giganews.com!news.teledata-fn.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Ada requires too much typing! Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <03f84a0a-e070-43a9-9b68-920345f64f94@r27g2000yqb.googlegroups.com> <1c704c1e-1b2e-427f-ae0e-3b2a0f976c7c@y4g2000yqy.googlegroups.com> <14cxhfhcbdmaa$.gp6rbqu5865h.dlg@40tude.net> <457b9c75-1c94-4137-a823-2db342cb26d1@c10g2000yqi.googlegroups.com> <1bghlzj6b2s34.19id3bthuckg5$.dlg@40tude.net> <4c0facec$0$6991$9b4e6d93@newsspool4.arcor-online.net> <101ot9m0ul54n$.6ktxh9d7h6td$.dlg@40tude.net> Date: Thu, 10 Jun 2010 10:07:17 +0200 Message-ID: NNTP-Posting-Date: 10 Jun 2010 10:07:17 CEST NNTP-Posting-Host: de53e274.newsspool4.arcor-online.net X-Trace: DXC=Po\9@UCaWABlU`@c^jLCbJ4IUK67Cdc?2D[6LHn;2LCVN7enW;^6ZC`D\`mfM[68DCCj[cPk2j>^6N X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:12531 Date: 2010-06-10T10:07:17+02:00 List-Id: On Wed, 09 Jun 2010 23:09:52 +0200, Yannick Duchêne (Hibou57) wrote: > Le Wed, 09 Jun 2010 21:10:06 +0200, Dmitry A. Kazakov > a écrit: >>> So this should not be a compilation unit and this should be expressed in >>> the language. Do you think about something at the level of types ? >> >> Depends on the intentions. If you render it as a type, then it must be a >> class-wide one. This is the reason why I believe that generics are >> superfluous and could be gradually replaced by classes. > > What would become formal parameters, like type parameters ? Base types, class-wide types. > Overloading > functions returning type derived from that of the ancestor one ? OK. So, > this will require an original bas type in the root definition which could > be wide enough to reach actual capabilities of generics. An “ANY” type > (like in QBasic) ? Nope. The element of a stack is not just any type. It is a copyable type (the class "private" in terms of Ada generics). > An abstract base type ? OK. So, now, we will need to be > able to declare abstract base type, that is, abstract discrete types, etc. > Is that what's in your mind ? Yes. These are abstract interfaces to be defined. This is an easy part BTW. >> Depends on the meaning of these. > > Just means “pattern” ;) well... pie dish, cake tin, waffle iron, and so on > (btw, none of these latter requires dynamic typing) Pattern = design pattern, e.g. "Bridge pattern"? Pattern = formal language description, e.g. *.adb? Pattern = dynamic type specification to match? ... and 100+ types of patterns known in AI and *PATTERN* recognition. (:-)) -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de