comp.lang.ada
 help / color / mirror / Atom feed
From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Haskell, anyone?
Date: Sun, 15 Nov 2015 19:59:00 -0800
Date: 2015-11-15T19:59:00-08:00	[thread overview]
Message-ID: <87h9kmoarf.fsf@nightsong.com> (raw)
In-Reply-To: dd1ada14-493d-44fc-a081-3a69515f2702@googlegroups.com

mockturtle <framefritti@gmail.com> writes:
> Oh, well, back to the tutorial...

Haskell is one of the most interesting things I've done as a programmer,
and anyone into programming languages as an area of interest rather than
just as tools should try it out.  It's very different from Ada in the
sense of being a typed Lisp descendant, with a fairly complex runtime
system that makes heavy use of garbage collection.  So as Mark says, it
doesn't give you precise control of cpu or memory utilization the way
Ada does.  In fact it's easy to write Haskell code that consumes large
amounts of memory by accident (so-called space leaks).  It takes a while
to understand Haskell well enough to avoid these.

If it helps, I'd say the archetypal Ada application is something like a
jet engine controller, that absolutely has to satisfy realtime and
memory constraints, must never throw exceptions, etc, but whose
underlying function is reasonably simple (squirt fuel into the engine at
the just the right time).

The archetypal Haskell application OTOH is e.g. a compiler, that does
intricate transformations on complicated data, that must not produce a
wrong answer (i.e. generate wrong code), but for which other types of
failure (like taking too long or running out of memory) are merely
inconveniences (you fix the bug or find a workaround if that happens).


  parent reply	other threads:[~2015-11-16  3:59 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
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 [this message]
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