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
Path: 
 buffer1.nntp.dca1.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!goblin1!goblin.stu.neva.ru!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Weakness of Ada is expensive / security / etc. ? Anything else?
Date: Wed, 22 Jul 2015 13:20:06 +0200
Organization: A noiseless patient Spider
Message-ID: <monu6c$im7$1@dont-email.me>
References: <1npnbotrqohbb$.cj0by0oyo31r$.dlg@40tude.net>
 <momffm$9l9$1@dont-email.me> <1gd0gija14183.15myz6cud3dc9.dlg@40tude.net>
 <monf7m$s2h$1@dont-email.me> <1hnmt53q1lopg$.6mgo90i4enn7$.dlg@40tude.net>
 <monq7n$594$1@dont-email.me> <9pqdzj14r0o9$.1rcqwmok1hb5v.dlg@40tude.net>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 22 Jul 2015 11:18:36 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
 logging-data="19143"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX196WUClPtQEMANJr5pQ6/TZ8ynjOsYqaM0="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.1.0
In-Reply-To: <9pqdzj14r0o9$.1rcqwmok1hb5v.dlg@40tude.net>
Cancel-Lock: sha1:0DO13RHAMEtwrYnTwaAtk2EbYqc=
Xref: number.nntp.giganews.com comp.lang.ada:194281
Date: 2015-07-22T13:20:06+02:00
List-Id: <comp.lang.ada>

On 22.07.15 12:31, Dmitry A. Kazakov wrote:
>
> Ah, you meant table names? I see.
>
> Well, that is not a literal, it is an identifier. Binding does not work for
> them. And you want too much from SQL. SQL is a very low-level language
> where tables are not objects and have no type (to have common operations
> where a table could be a parameter)

... T1 INNER JOIN T2 ...

has infix operator INNER JOIN which requires T1 and T2 to
be of proper type, i.e. tables, or views, or compatible
relations produced via SELECT etc...

They aren't of some named type, but their type is grammatically
implied and needs structural equivalence.

Granted, there are no meta-types for objects from the
universe having objects of table kinds in it; also, one
cannot define JOIN. Not too unusual to not be able to
define language in language, I think.