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.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c6150ba97747373e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-06-17 07:55:05 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fr.clara.net!heighliner.fr.clara.net!freenix!enst!enst.fr!not-for-mail From: "Robert C. Leif" Newsgroups: comp.lang.ada Subject: RE: runtine instanciation Date: Mon, 17 Jun 2002 07:54:27 -0700 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1024325703 70212 137.194.161.2 (17 Jun 2002 14:55:03 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Mon, 17 Jun 2002 14:55:03 +0000 (UTC) Return-Path: X-Envelope-From: rleif@rleif.com X-Envelope-To: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.3416 Importance: Normal In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.8 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:26156 Date: 2002-06-17T07:54:27-07:00 From: Bob Leif To: Dmitry Kazakov et al. 1) I do not believe that sacrificing the reliability of the entire program by switching to SmallTalk is a reasonable solution. 2) Even if I create a tagged type for my record, I still have to fill its fields. As I previously stated, the allowable data types and their methods have been previously compiled. I realize that one could use access types. However, I am hoping for a very simple static solution based on the use of the compiler. I believe that this is now well within the capabilities of the combination of modern Ada compilers and our PCs, which now have capabilities well beyond those envisaged by the original creators and users of Ada. I ran RR on an 8088 based 4.88 megahertz PC with I believe 256 K of RAM. I now, in order to run COTs products, have a computer with half a Gig of RAM and a 1.6 Gigahertz CPU. The bus width has now been expanded from 1 to 4 or 8 bytes. I suspect that the linker technology is the part that may have to be modified. -----Original Message----- From: comp.lang.ada-admin@ada.eu.org [mailto:comp.lang.ada-admin@ada.eu.org] On Behalf Of Dmitry A.Kazakov Sent: Monday, June 17, 2002 3:04 PM To: comp.lang.ada@ada.eu.org Subject: RE: runtine instanciation Robert C. Leif wrote: > From: Bob Leif > To: Dmitry Kazakov et al. > I suspect that in many cases there is a very straightforward approach to > accomplish the equivalent of runtime instantiation. In my own work on > the creation of a new bioinformatics standard, CytometryML, I have a > requirement to create an array of records, which can have up to 15 > fields. Each of the data types for the fields (parameters) will be > represented by a compiled package with a complete set of specific > operations. However, the user (customer) at runtime will have the > prerogative of selecting from 1 to 15 of these parameters to include in > the record. Fortunately, this is directly analogous to the creation of > the data type in a database. It does NOT have to occur instantaneously. > Conceivably, the user could wait about a minute for this to occur. I > would like to be able to compile and link the instantiation of the > record and the array. Parenthetically, I am quite willing, if need be, > to precompile 15 generic packages of records, which have from one to > fifteen fields and instantiate only one of them. The 15 generic records > perhaps could also be included in one package. > > Another similar problem, is to create a calculation program in Ada that > is very general for evaluating a mathematical expression. If the > expression can be converted to an Ada function, why not just compile it? > > I believe Rational and DEC had incremental compilers. Could this > facility be made available, even in a space inefficient form, in one of > the Ada 95 compilers? This approach has a significant potential > commercial benefit for the vendors. It would require a runtime version > of their compilers, which could be licensed for a fee to be ultimately > paid by the end users of the program. > > Before any of the real-time enthusiasts become upset by this proposal, > please remember, that this is not to be applied to the run-time > operations of mission critical applications where execution time and > scheduling are important. Well, if performance is not an issue, why not to use class-wide objects instead of genericity? Doing so you would not need to instantiate anything. In fact no automatic instantiation would help if the types are unknown in advance. A brute force, like an integrated compiler might help, but I think it would be better to advance ADT to solve problems like that. [ Those who disagree may just switch to SmallTalk. (:-)) ] -- Regards, Dmitry Kazakov www.dmitry-kazakov.de