Re: incomplete languages

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

Karel Miklav wrote:

> 
> Dmitry A. Kazakov wrote:
>> Alexandre E. Kopilovitch wrote:
>>>"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> 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