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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable 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!proxad.net!usenet-fr.net!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: "Alexander E. Kopilovich" Newsgroups: comp.lang.ada Subject: Re: ADA Popularity Discussion Request Date: Wed, 8 Sep 2004 23:46:44 +0400 (MSD) Organization: Cuivre, Argent, Or Message-ID: References: <9snhizowcwg9.16smaxkxhyu67$.dlg@40tude.net> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: melchior.cuivre.fr.eu.org 1094672731 2561 212.85.156.195 (8 Sep 2004 19:45:31 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Wed, 8 Sep 2004 19:45:31 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: In-Reply-To: <9snhizowcwg9.16smaxkxhyu67$.dlg@40tude.net>; from "Dmitry A. Kazakov" at Wed, 8 Sep 2004 14:01:17 +0200 X-Mailer: Mail/@ [v2.44 MSDOS] X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:3506 Date: 2004-09-08T23:46:44+04:00 Dmitry A. Kazakov wrote: > On 08 Sep 2004 10:52:05 +0200, Ole-Hjalmar Kristensen wrote: > > >>>>>> "LD" == Lionel Draghi 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. No, the philosophy behind this is that there is no need for type systems to be always of mainframe kind - comprehensive, complex, requiring distinguished and rare experts for their creation, future development and general maintenance; that there can be custom type systems - with lesser scope, that is, not so universally applicable or useful, but bringing significant advantages in some particular domains and which really can be succesfully created and controlled at reasonable (more common and therefore more accessible) level of expertise. Alexander Kopilovich aek@vib.usr.pu.ru Saint-Petersburg Russia