comp.lang.ada
 help / color / mirror / Atom feed
From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: Haskell, anyone?
Date: Sun, 15 Nov 2015 14:53:25 -0600
Date: 2015-11-15T14:53:25-06:00	[thread overview]
Message-ID: <n2arc5$ruj$1@speranza.aioe.org> (raw)
In-Reply-To: c6ac0d2f-52af-4aa6-ba6f-34f61e3c93e8@googlegroups.com

On 11/15/2015 2:42 PM, mockturtle wrote:
>
> The question should be obvious: it seems that Haskell and Ada would attract
>the same kind of person; does someone here know and like Haskell as well?
>

I do not know about Haskell, never used it (too many programming languages, too
little time, and they all seem to be re-inventing the same wheel again and again).

But there is another programming language called "D" that is supposed to
be close to Ada in terms of being a "good typed" language. see for example

http://forum.dlang.org/post/xnulsgpdhkgjpllwkgxq@forum.dlang.org

There is a Haskell vs. Ada report here:

http://haskell.cs.yale.edu/?post_type=publication&p=366

"We describe the results of an experiment in which several
conventional programming languages, together with the functional
language Haskell, were used to prototype a Naval Surface
Warfare Center (NSWC) requirement for a Geometric Region Server...

The results indicate that the Haskell prototype took significantly
less time to develop and was considerably more concise and easier
to understand than the corresponding prototypes written in several
different imperative languages, including Ada and C++."

This was in 1994 !

  
> Riccardo
>

  parent reply	other threads:[~2015-11-15 20:53 UTC|newest]

Thread overview: 54+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-11-15 20:42 Haskell, anyone? mockturtle
2015-11-15 20:51 ` Paul Rubin
2015-11-15 20:53 ` Nasser M. Abbasi [this message]
2015-11-15 21:50 ` Mark Carroll
2015-11-15 22:11 ` mockturtle
2015-11-15 22:48   ` Nasser M. Abbasi
2015-11-15 23:05     ` Mark Carroll
2015-11-16  4:11       ` Paul Rubin
2015-11-16  5:17         ` Nasser M. Abbasi
2015-11-16  5:48           ` Paul Rubin
2015-11-16  5:59             ` Nasser M. Abbasi
2015-11-16  6:47               ` Paul Rubin
2015-11-16  8:45           ` Simon Wright
2015-11-16 14:38             ` Brian Drummond
2015-11-15 23:19     ` Jeffrey R. Carter
2015-11-16  9:36       ` J-P. Rosen
2015-11-16 18:14         ` Jeffrey R. Carter
2015-11-16  3:59   ` Paul Rubin
2015-11-16  8:33   ` Dmitry A. Kazakov
2015-11-16  9:33     ` mockturtle
2015-11-16  9:45       ` Paul Rubin
2015-11-16 10:25 ` Hadrien Grasland
2015-11-16 11:19   ` Simon Wright
2015-11-16 11:25     ` Hadrien Grasland
2015-11-16 13:59   ` G.B.
2015-11-16 20:24   ` Jeffrey R. Carter
2015-11-16 23:23   ` Paul Rubin
2015-11-17  8:26     ` Dmitry A. Kazakov
2015-11-17  9:10       ` Mark Carroll
2015-11-17 20:09         ` Dmitry A. Kazakov
2015-11-17 10:49     ` Hadrien Grasland
2015-11-17 12:01       ` G.B.
2015-11-17 16:43         ` Hadrien Grasland
2015-11-17 18:04           ` Paul Rubin
2015-11-17 21:42             ` Hadrien Grasland
2015-11-18  4:36               ` Paul Rubin
2015-11-18  8:48                 ` Hadrien Grasland
2015-11-18  9:23                   ` Paul Rubin
2015-11-18 10:44                     ` Hadrien Grasland
2015-11-18 11:02                       ` Dmitry A. Kazakov
2015-11-18 12:41                         ` G.B.
2015-11-18 23:06                       ` Randy Brukardt
2015-11-19  8:56                         ` Hadrien Grasland
2015-11-19  9:19                           ` Hadrien Grasland
2015-11-19 21:27                           ` Randy Brukardt
2015-11-24 12:03                           ` Jacob Sparre Andersen
2015-11-19  7:22                       ` Paul Rubin
2015-11-19  9:39                         ` Hadrien Grasland
2015-11-17 13:01       ` Thomas Løcke
2015-11-17 16:45         ` Hadrien Grasland
2015-11-18  0:11       ` Paul Rubin
2015-11-18  9:44         ` Hadrien Grasland
2015-12-06 12:59   ` David Thompson
2015-12-07  7:25     ` Hadrien Grasland
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox