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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,8ca14c11fd6d2e56 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news2.google.com!proxad.net!usenet-fr.net!news.enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Marius Amado Alves Newsgroups: comp.lang.ada Subject: Re: generic parameter Copy for primitifs types. Date: Fri, 24 Jun 2005 16:11:26 +0100 Organization: Cuivre, Argent, Or Message-ID: References: <1119544911.159343.288010@g43g2000cwa.googlegroups.com> <837ivwsz8r2d$.j16zz1529zb9$.dlg@40tude.net> <1119555704.527944.224770@g49g2000cwa.googlegroups.com> <1ormc6uaytixb.v2ogsw0x6y8k.dlg@40tude.net> <1rjzmqwb7teen.6jbixg07vhn5.dlg@40tude.net> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 (Apple Message framework v622) Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1119626010 28147 212.85.156.195 (24 Jun 2005 15:13:30 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Fri, 24 Jun 2005 15:13:30 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-Reply-To: <1rjzmqwb7teen.6jbixg07vhn5.dlg@40tude.net> X-Mailer: Apple Mail (2.622) X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:11624 Date: 2005-06-24T16:11:26+01:00 >> All this would go away if packages were first class citizens of Ada, >> i.e. objects. This is one thing I'm trying to do with Ocpotus >> (softdevelcoop.org/ocpotus). > > Or > > - if true package specialization were available; > > - if generic types were ADT (you could have generic formal types of > your > own); > > - if assignment were a primitive operation (discriminants/constraints > problem is solvable, IMO); > > - etc. > Yes. > Packages as objects is a fundamental question I believe. A potential > danger > is that when packages become objects any difference between "type" and > "package" might disappear. I don't see it as a danger, but as something I want. > The result would be a type system close to C++. I don't see this. C++ has the same schizophrenia between OO and generics that Ada has. > But we know that C++ has immense problems in the elaboration model, or > better to say with absence of any model. Is it curable? I can't tell. > If > Robert Dewar were here, he would probably shed more light on the > mechanics. I think it's curable. However it may require relaxing the notion of static typing. Namely generalizing the notion of type checking w.r.t. bind times. End another aporia, that of static vs. dynamic, or compile time vs. run time. Again, Ocpotus. But we drift away from Ada. Better discuss this on the Ocpotus list, or privately.