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.43.67.67 with SMTP id xt3mr8872375icb.23.1403533067163;
        Mon, 23 Jun 2014 07:17:47 -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!news.glorb.com!hn18no7041516igb.0!news-out.google.com!a8ni14748qaq.1!nntp.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 23 Jun 2014 09:17:46 -0500
Date: Mon, 23 Jun 2014 10:17:47 -0400
From: Peter Chapin <PChapin@vtc.vsc.edu>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: a new language, designed for safety !
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>
In-Reply-To: <8SKpv.25283$CO1.5252@fx15.iad>
Message-ID: <O8ydnfISj7CXqjXO4p2dnAA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-GFC5rD5BikGOLx1HCyMRkVm2OevxBxmK+vRld85H1+kHPdv+HWIRs462D/Syf+30UD0pwEcSnEYsttb!eXGNmUaRHPJc2Mu5xTPlXrVpFYv0DhVyU/3HCrBmB/LV8vs6xIpPYyIlz+Md1Vc=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1787
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Xref: news.eternal-september.org comp.lang.ada:20556
Date: 2014-06-23T10:17:47-04:00
List-Id: <comp.lang.ada>

On 2014-06-22 20:51, Shark8 wrote:

> IIRC, Lisp's Error-handling can ensure that types are consistent, even
> though the language itself is dynamically typed.

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.

Peter