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,d14ef72cb8e7209e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-08 06:35:22 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newsfeed-west.nntpserver.com!hub1.meganetnews.com!nntpserver.com!news-hub.siol.net!news.siol.net!not-for-mail From: Karel Miklav User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.2.1) Gecko/20021130 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: incomplete languages References: In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 08 Jan 2003 15:35:21 +0100 NNTP-Posting-Host: 193.77.153.232 X-Complaints-To: abuse@siol.net X-Trace: news.siol.net 1042036521 193.77.153.232 (Wed, 08 Jan 2003 15:35:21 MET) NNTP-Posting-Date: Wed, 08 Jan 2003 15:35:21 MET Organization: Slovenija OnLine - SiOL Xref: archiver1.google.com comp.lang.ada:32751 Date: 2003-01-08T15:35:21+01:00 List-Id: 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. 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?))? Regards, Karel Miklav