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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,73cb216d191f0fef X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.224.18.132 with SMTP id w4mr931470qaa.1.1363983019111; Fri, 22 Mar 2013 13:10:19 -0700 (PDT) X-Received: by 10.50.140.65 with SMTP id re1mr378480igb.13.1363983019057; Fri, 22 Mar 2013 13:10:19 -0700 (PDT) Path: k8ni11100qas.0!nntp.google.com!ca1no1503428qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 22 Mar 2013 13:10:18 -0700 (PDT) In-Reply-To: <2qwq2cdeuvhu$.qtnb8zyhuob9$.dlg@40tude.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.20.190.126; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 69.20.190.126 References: <11rcs3gg4taww$.bylek8fsshyz$.dlg@40tude.net> <99929f93-b80f-47c3-8a37-c81002733754@googlegroups.com> <87ec4b1d-f7cd-49a4-8cff-d44aeb76a1ad@googlegroups.com> <78103a2f-5d19-4378-b211-1917175d5694@googlegroups.com> <3p6p8k0yfly7.ctazdw7fc5so$.dlg@40tude.net> <1jtvzi1v65aqm.1k5ejsveno59f.dlg@40tude.net> <1hvv2kd9smnfx.6spgz9thd1mh$.dlg@40tude.net> <1raubw1sk48ca$.69rdgczvnnf.dlg@40tude.net> <2qwq2cdeuvhu$.qtnb8zyhuob9$.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <39766694-798c-483e-b068-f3f88a00cac4@googlegroups.com> Subject: Re: Is this expected behavior or not From: Shark8 Cc: mailbox@dmitry-kazakov.de Injection-Date: Fri, 22 Mar 2013 20:10:19 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2013-03-22T13:10:18-07:00 List-Id: On Friday, March 22, 2013 10:07:51 AM UTC-6, Dmitry A. Kazakov wrote: > On Thu, 21 Mar 2013 18:27:22 -0500, Randy Brukardt wrote: >=20 > > But I still think you are trying too hard to avoid run-time checks. >=20 > If I weren't, I would use Perl, not Ada. I favor Ada exactly because it > gives me static checks. It is sad to see Ada drifting towards run-time / > dynamic-typing junk. Runtime-typing and dynamic-typing are two different things, no? (As I under= stand, dynamic-typing could be illustrated with PHP which plays fast and lo= ose with items [string "5" <--> integer 5 or float 5.0], whereas run-time t= yping could be illustrated with Delphi and its RTTI. {The RTTI can be used = to emulate dynamic-typing, even implicitly in some cases IIRC, but that is = a far cry from the mashed-potatoes-typing {everything is everything else, e= xcept on error which is usually 0 and then converted to the type of 'everyt= hing' needed} of PHP}). Ada has always had run-time checking: I mean consider a type INPUTS {say fo= r enumerating inputs from a menu-driven application of range '0'..'9'} or e= numerations where we could do something like Function Prompt( items: menu ) Return INPUTS is Result: INPUT;=20 begin -- loop -- display prompt -- get user's input string/character -- assign conversion using INPUT'Value to Result -- exit when the above conversion is valid [otherwise handle exception] -- end loop return result; end Prompt;