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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,d14ef72cb8e7209e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-10 05:48:35 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!dialin-145-254-040-081.arcor-ip.NET!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: incomplete languages Date: Fri, 10 Jan 2003 14:49:04 +0100 Organization: At home Message-ID: References: Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: dialin-145-254-040-081.arcor-ip.net (145.254.40.81) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: fu-berlin.de 1042206514 17337445 145.254.40.81 (16 [77047]) User-Agent: KNode/0.7.1 Xref: archiver1.google.com comp.lang.ada:32881 Date: 2003-01-10T14:49:04+01:00 List-Id: Karel Miklav wrote: > > Dmitry A. Kazakov wrote: >> Alexandre E. Kopilovitch wrote: >>>"Dmitry A. Kazakov" wrote: >>>>A need in a meta language indicates that the core language is >>>>incomplete. Then the question is only whether this incompleteness is >>>>inherent or not. As long as the former is not proved I will claim that >>>>we do not need a meta language. >>> >>>But it is well-known fact (from the first half of 20 century, thanks >>>Godel), that every language that is rich enough is necessarily >>>incomplete. >> >> Incomplete for what? If a language should be complete for everything, >> then meta language is also no answer, because it in turn will be also >> incomplete. > > I have this problem: I'm designing an object database, objects are > directly stored in it. There's no need for SQL as I can load objects > from disk and check them, update them etc in native language. All is > good and well, until I move my database on a remote computer. Then, how > am I supposed to do queries? My database (object store actualy) is dumb, > downloading a whole database contents for each query is not a solution, > so I have to export logic to the remote database server. This logic can > be written in Ada like syntax, but clearly not in Ada, the language. Isn't JGNAT and similar things for that? [if JGNAT were continued of course] > So; Ada can be compiled, but compiled objects cannot be remotely > exported. My thoughts went in a direction of meta language or meta > platform, as it looks like averybody else's. But since David looks so > shure there must be some other way to export logic remotely (I mean > without double coding and/or meta languages (while we're here: what is > Ada, a language or a platform?))? IMO each language is more or less a platform. -- Regards, Dmitry A. Kazakov www.dmitry-kazakov.de