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,acfbe6f43430943b
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!news3.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Type declarations problematic?
Date: Fri, 24 Nov 2006 09:41:25 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcclkm0j4a2.fsf@shell01.TheWorld.com>
References: <ek69qv$oo0$1@cernne03.cern.ch>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-7
Content-Transfer-Encoding: 8bit
X-Trace: pcls6.std.com 1164379286 8094 192.74.137.71 (24 Nov 2006 14:41:26
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Fri, 24 Nov 2006 14:41:26 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:oFQG+xEv09IMcZaQ58s37r8Ty/Q=
Xref: g2news2.google.com comp.lang.ada:7691
Date: 2006-11-24T09:41:25-05:00
List-Id: <comp.lang.ada>

Maciej Sobczak <no.spam@no.spam.com> writes:

> Hi,
>
> http://www.joelonsoftware.com/items/2006/10/12.html
>
> "[it] seems to be that it�s explicit typing, where the programmer is
> asked to declare the type of things, that leads to most of the problems.
>
> [...] it�s starting to look like type declarations are one of those
> accidental difficulties that good programming languages can eliminate."
>
>
> It is obvious that there is a place for dynamically typed languages, but
> the above statements seem to be a bit too far-fetched. Do they mean that
> "typeless" languages will just suck some of the Java audience (fine for
> me), or is it maybe a more general problem that will drive the evolution
> of programming languages further away from strongly typed systems?
> Do you plan a switch to Ruby? ;-)

I don't know.  But note that the opposite of "programmer is asked to
declare the type of things" is not necessarily dynamic typing.  There's
also type inference, as in SML, OCaml, Haskell, all of which are strong
statically-typed languages where you don't have to declare the types of
all the variables.

- Bob