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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,21960280f1d61e84
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!h3g2000cwc.googlegroups.com!not-for-mail
From: "Harald Korneliussen" <vintermann@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: How come Ada isn't more popular?
Date: 1 Feb 2007 23:17:56 -0800
Organization: http://groups.google.com
Message-ID: <1170400676.842166.313520@h3g2000cwc.googlegroups.com>
References: <1169531612.200010.153120@38g2000cwa.googlegroups.com>
   <L2ith.12633$ji1.1337@newssvr12.news.prodigy.net>
   <mailman.44.1169724732.18371.comp.lang.ada@ada-france.org>
   <WaBuh.15096$pQ3.10501@newsread4.news.pas.earthlink.net>
   <xwsldwre3j.fsf@hod.lan.m-e-leypold.de>
   <HYPuh.15976$yx6.6882@newsread2.news.pas.earthlink.net>
   <md64ashx3o.fsf@hod.lan.m-e-leypold.de>
   <1mahvxskejxe1$.tx7bjdqyo2oj$.dlg@40tude.net>
   <2tfy9vgph3.fsf@hod.lan.m-e-leypold.de>
   <1g7m33bys8v4p.6p9cpsh3k031$.dlg@40tude.net>
   <s1mz41g7d3.fsf@hod.lan.m-e-leypold.de>
   <14hm72xd3b0bq$.axktv523vay8$.dlg@40tude.net>
   <4zwt33xm4b.fsf@hod.lan.m-e-leypold.de>
   <1j7neot6h1udi$.14vp2aos6z9l8.dlg@40tude.net>
   <1170347180.14376.104.camel@localhost.localdomain>
   <c364al3hlu.fsf@hod.lan.m-e-leypold.de>
   <1170363233.23845.118.camel@localhost.localdomain>
NNTP-Posting-Host: 213.184.192.82
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1170400681 950 127.0.0.1 (2 Feb 2007 07:18:01 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 2 Feb 2007 07:18:01 +0000 (UTC)
In-Reply-To: <1170363233.23845.118.camel@localhost.localdomain>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; nb-NO;
 rv:1.8.1.1) Gecko/20061204 Firefox/2.0.0.1,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: h3g2000cwc.googlegroups.com; posting-host=213.184.192.82;
   posting-account=5vUApw0AAADF5Kx_4-L9ZPdL9lZywYoQ
Xref: g2news2.google.com comp.lang.ada:8835
Date: 2007-02-01T23:17:56-08:00
List-Id: <comp.lang.ada>

>>From what I have seen, I must give you (Bauhaus) right in this: space
usage can be hard to predict in a lazy language, and time usage is
probably also easier in a language closer to the hardware, like Ada.
Compiler error messages in Haskell are bad, I had not considered
before that the reason for this may be type inference, but it makes
sense. By comparison, the GNAT error messages are the best I've come
across.
But I suspect that the libraries haskell offers can free me from
worries of space usage, if they are well designed and documented.
Haskell certainly offers some very interesting libraries.
Equational reasoning with haskell code is suprisingly easy, and I
believe that for most applications, correctness is more important than
speed and memory usage. From my (admitably small) experience with
haskell, it seems that it's faster and easier to write correct
programs the first time. If it fails, though, it's back to making
sense of the compiler error messages, or much worse: trying to track
down that space leak!