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,a9b0810d3106d9b8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news2.google.com!news2.google.com!news.glorb.com!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!news.imp.ch!newsfeed.tiscali.ch!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 19 Apr 2011 16:28:44 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.17) Gecko/20110414 Thunderbird/3.1.10
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Fun with C
References: <27cf3992-4132-4483-9110-adc7a089cd4a@e8g2000vbz.googlegroups.com>
 <54108d8d-4e7c-4901-bd5e-819d27720d48@a11g2000pro.googlegroups.com>
 <4daa8fc6$0$7652$9b4e6d93@newsspool1.arcor-online.net>
 <37428a21-61b4-4cdf-9897-7b84252f8fce@a11g2000pro.googlegroups.com>
 <bb4c1f93-a338-4d0b-9d68-7f1c0111a1ce@l2g2000prg.googlegroups.com>
 <4dab6906$0$6893$9b4e6d93@newsspool2.arcor-online.net>
 <57a1fa4b-4730-41a8-be8a-82061ef9dc22@x37g2000prb.googlegroups.com>
 <4daca6ba$0$6773$9b4e6d93@newsspool3.arcor-online.net>
 <33973ba6-c390-4af1-9116-6facb12e2878@u12g2000vbf.googlegroups.com>
In-Reply-To: 
 <33973ba6-c390-4af1-9116-6facb12e2878@u12g2000vbf.googlegroups.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4dad9c1b$0$6875$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Apr 2011 16:28:43 CEST
NNTP-Posting-Host: 78e7c9f5.newsspool2.arcor-online.net
X-Trace: 
 DXC=LG7Dl>4`\Mn]BlmkiiU@BiA9EHlD;3Ycb4Fo<]lROoRa8kF<OcfhCOkjGLXbiEFFnaPCY\c7>ejVhYolXk@e>@Jk=\2mccgHlCa
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:19868
Date: 2011-04-19T16:28:43+02:00
List-Id: <comp.lang.ada>

On 4/19/11 3:10 AM, Elias Salom�o Helou Neto wrote:
>  what I meant was basically that: people will keep doing
> dumbness because they are just people (me included). No matter what
> language is used.

Agree.  Perhaps one language can make being stupid more difficult
than another, then.



>> There is evidence that different
>> fundamental type  systems help non-dumb people solve their problems more
>> successfully.  People will still be using C libraries and additional
>> code generators, as a replacement for a better suited type system.
>
> I would like to see this evidence.

One comparative study, not entirely free of all bias I would think,
but pretty close to standard experiments yielding valid data,
was conducted over several years, by John W. McCormick. It is
about a project that switched not subjects or algorithms but the
language. The result was published in August 2000 as
http://www.crosstalkonline.org/storage/issue-archives/2000/200008/200008-McCormick.pdf

 From which is this quote:

"Upon reading the project listings and team member diaries,
  I concluded that the major advantages of Ada for these
students were, in order of importance:
� Modeling of scalar objects.
   � Strong typing.
   � Range constraints.
   � Enumeration types.
� Parameter modes that reflect the problem rather than the mechanism.
� Named parameter association.
� (...)"

(There may be news on this, ACM lists a 2008 experience report.)