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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.236.35.5 with SMTP id t5mr9593858yha.9.1403537984025;
        Mon, 23 Jun 2014 08:39:44 -0700 (PDT)
X-Received: by 10.182.226.233 with SMTP id rv9mr95530obc.6.1403537983810; Mon,
 23 Jun 2014 08:39:43 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!w8no10600365qac.0!news-out.google.com!gf2ni11igb.0!nntp.google.com!hn18no7149810igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 23 Jun 2014 08:39:43 -0700 (PDT)
In-Reply-To: <O8ydnfISj7CXqjXO4p2dnAA@giganews.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=71.252.147.203;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 71.252.147.203
References: <lmj8s6$hhp$1@speranza.aioe.org>
 <3bf7907b-2265-4314-a693-74792df531d1@googlegroups.com>
 <wccha40e9zh.fsf@shell01.TheWorld.com> <lmpcc6$ivv$1@speranza.aioe.org>
 <op.xhvthnm6ule2fv@cardamome> <op.xhvtmbxlule2fv@cardamome>
 <8SKpv.25283$CO1.5252@fx15.iad> <O8ydnfISj7CXqjXO4p2dnAA@giganews.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d274db9f-f781-4a92-bdda-9728bcf1cce5@googlegroups.com>
Subject: Re: a new language, designed for safety !
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Mon, 23 Jun 2014 15:39:43 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2110
X-Received-Body-CRC: 1109389969
Xref: news.eternal-september.org comp.lang.ada:20557
Date: 2014-06-23T08:39:43-07:00
List-Id: <comp.lang.ada>

On Monday, June 23, 2014 9:17:47 AM UTC-5, Peter Chapin wrote:
> It's quite normal for dynamic languages to do type checking, they just
> do it at runtime (dynamically). That's practically the definition of
> "dynamic language" to my mind. It partly accounts for the flexibility of
> such languages as well as their sometimes sluggish performance.

And for that very reason, it is quite normal at run-time for dynamic langua=
ges to surprisingly raise fatal errors on some rarely-executed branch---hen=
ce the disdain earlier in this thread for not checking at compile-time whet=
her a method can be invoked for a target object.  Check for such flagrant o=
missions-of-design at compile-time, not at run-time.