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,c406e0c4a6eb74ed
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: ADA Popularity Discussion Request
Date: Wed, 8 Sep 2004 14:01:17 +0200
Organization: cbb-software GmbH
Message-ID: <9snhizowcwg9.16smaxkxhyu67$.dlg@40tude.net>
References: <49dc98cf.0408110556.18ae7df@posting.google.com>
 <cgpma7$pet$1@a1-hrz.uni-duisburg.de>
 <slrncj0nmf.hl6.adi@ppc201.mipool.uni-jena.de>
 <cgppvn$t4m$1@a1-hrz.uni-duisburg.de>
 <6F2Yc.848$8d1.621@newsread2.news.pas.earthlink.net>
 <m3isb2ey3w.fsf@rigel.goldenthreadtech.com>
 <hMnYc.1759$w%6.1486@newsread1.news.pas.earthlink.net>
 <m3656vfgmf.fsf@rigel.goldenthreadtech.com>
 <e749549b.0409042036.5d4822a2@posting.googlOrganization: LJK Software
 <vpblkhspuA9F@eisner.encompasserve.org>
 <e749549b.0409051449.574ec9ce@posting.google.com>
 <m3wtz7e4hd.fsf@rigel.goldenthreadtech.com>
 <413e2fbd$0$30586$626a14ce@news.free.fr> <wvbrsm9tjg7e.fsf@sun.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de 7bOudhzQMeymJLUTF6Ygfw2DBPzDuFb+dgCGUd3FUViuC5QFk=
User-Agent: 40tude_Dialog/2.0.12.1
Xref: g2news1.google.com comp.lang.ada:3470
Date: 2004-09-08T14:01:17+02:00
List-Id: <comp.lang.ada>

On 08 Sep 2004 10:52:05 +0200, Ole-Hjalmar Kristensen wrote:

>>>>>> "LD" == Lionel Draghi <Lionel.nospam.Draghi@Ada-France.org> writes:
> 
>     LD> jayessay wrote:
>     LD> ...
>     >> Exactly.  Actually this sort of development will save you much more
>     >> time and money than you could ever hope for from typical static typing.
> 
>     LD> How could this be?
>     LD> With powerful typing you write code.
>     LD> Without, you write as much code and much more tests.
> 
> You are missing the point. He is not arguing against strong typing,
> but against *static* typing.

Apparently, but when consistently pursued that kind of argumentation
inevitable leads to arguing against any typing, especially against ADT. The
philosophy behind is that types are random artifacts of the program, rather
than the basis of software design. When the program is not thought in terms
of types, there is nothing to check, either statically or dynamically.

-- 
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de