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-Thread: 103376,bf02c238a92156a3 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Windows Ada database support. Date: Fri, 10 Dec 2004 16:14:43 +0100 Message-ID: References: <5e3e03a7.0411240431.7e037a4e@posting.google.com> <1jrbh30djhwuh$.cpwm02mv7d1d.dlg@40tude.net> <18u46qzjs6s8v.19927r9ay0kkh.dlg@40tude.net> <17dywgfsz1s82.ew4d2rpmnjg9$.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: individual.net 201pqsoJAidGqpeffHZ7cQJf6l4lLU94gjxjqHvmhDJ81Vjh8= User-Agent: 40tude_Dialog/2.0.12.1 Xref: g2news1.google.com comp.lang.ada:6883 Date: 2004-12-10T16:14:43+01:00 List-Id: On Fri, 10 Dec 2004 14:28:52 +0000 (UTC), Georg Bauhaus wrote: > Dmitry A. Kazakov wrote: >:>:> However, an object's type cannot reflect this, because types >:>:> are static. You could associate one different type with each possible >:>:> combination of component values in your program... >:>: >:>: 1. No application uses all possible combinations. They have very concrete >:>: things to do. >:> >:> For example, they react to different value that an object has in time? >: >: Where is any problem? Doesn't sin(x) react to any value of x whenever it be >: called? > > if sin(x) > threshold then > ... > > That is, a program doesn't express all possible flows in the set of type > declarations. > Similarly, when programs construct values from standardised "garbage > databases", they express some flows using query results, not necessarily > a style of writing close to the type system. Nobody requires to express all semantics in type relations. [Yet compare how "relationists" are trying to force semantics into relations!] The known to be stable part of the semantics should be mapped into types. That is the stand point of strongly, manifestly typed languages like Ada. Because for practically any application, there is such stable part, and it is reasonable large. If you will try to convince me that business applications cannot be programmed in that way, then well, we should agree that we disagree. > Moreover, future behavior of the program will be influenced > by manipulating the "garbage database". This feels somewhat like symbol > manipulation ;-) This is just plainly wrong design. Note that even Ada compiler need not to translate itself together with the program code. The very fact that Ada compilers were successfully written in Ada shows that strong typing is no obstacle. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de