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!news2.google.com!proxad.net!213.200.89.82.MISMATCH!tiscali!newsfeed1.ip.tiscali.net!feed.news.tiscali.de!newsfeed.freenet.de!news-lei1.dfn.de!news-ber1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Windows Ada database support.
Date: Fri, 10 Dec 2004 14:28:52 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <cpcbr4$pvn$1@a1-hrz.uni-duisburg.de>
References: <5e3e03a7.0411240431.7e037a4e@posting.google.com>
   <1jrbh30djhwuh$.cpwm02mv7d1d.dlg@40tude.net>
 <cp5okp$gks$1@a1-hrz.uni-duisburg.de>
 <18u46qzjs6s8v.19927r9ay0kkh.dlg@40tude.net> <wvbru0qxnm2n.fsf@sun.com>
 <wqdeoxp59r9b.1j4v1emb3garz.dlg@40tude.net>
 <cp78bk$hqj$2@a1-hrz.uni-duisburg.de>
 <17dywgfsz1s82.ew4d2rpmnjg9$.dlg@40tude.net>
 <cp9eke$7bm$2@a1-hrz.uni-duisburg.de>
 <idb1q6npur2e$.i8h1wzia97c0.dlg@40tude.net>
 <cpa795$mtm$2@a1-hrz.uni-duisburg.de>
 <u93cglk4by35.1iift6rfiusib.dlg@40tude.net>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1102688932 26615 134.91.1.34 (10 Dec 2004
 14:28:52 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Fri, 10 Dec 2004 14:28:52 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: g2news1.google.com comp.lang.ada:6882
Date: 2004-12-10T14:28:52+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> 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.
Moreover, future behavior of the program will be influenced
by manipulating the "garbage database". This feels somewhat like symbol
manipulation  ;-)