From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Concurrency always is non-deterministic?
Date: Tue, 14 Feb 2012 11:23:54 -0700
Date: 2012-02-14T11:23:54-07:00 [thread overview]
Message-ID: <jhe8rr$1oev$1@adenine.netfront.net> (raw)
In-Reply-To: <0dbc36f5-15f6-4b47-808c-d19d5ac72cba@x19g2000yqh.googlegroups.com>
On 02/14/2012 03:05 AM, Erich wrote:
> On Feb 14, 2:18 am, Phil Clayton<phil.clay...@lineone.net> wrote:
>
>> functional programming is unsuitable for systems
>> that are any of: real-time, embedded or critical
>
> The first two points, yes, but what about the third. Haven't
> functional programming languages like Haskell been used for critical
> (high-integrity) applications as a substitute for Ada/Spark, because
> they make formal verification very easy?
>
> I'm not claiming it, just believe I've read about it and ask as a
> layman out of curiosity.
Erlang was created for implementing soft real-time systems, specifically
telephony systems.
--
Jeff Carter
"If you think you got a nasty taunting this time,
you ain't heard nothing yet!"
Monty Python and the Holy Grail
23
--- Posted via news://freenews.netfront.net/ - Complaints to news@netfront.net ---
prev parent reply other threads:[~2012-02-14 18:23 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-13 17:41 Concurrency always is non-deterministic? Long Hoàng Đình
2012-02-13 18:04 ` Dmitry A. Kazakov
2012-02-13 19:38 ` Simon Wright
2012-02-13 19:56 ` Bill Findlay
2012-02-14 1:13 ` Simon Wright
2012-02-14 11:29 ` John B. Matthews
2012-02-14 2:34 ` Phil Clayton
2012-02-13 18:06 ` Georg Bauhaus
2012-02-13 19:11 ` Niklas Holsti
2012-02-13 22:10 ` Brian Drummond
2012-02-14 2:18 ` Phil Clayton
2012-02-14 10:05 ` Erich
2012-02-14 15:00 ` Phil Clayton
2012-02-14 18:23 ` Jeffrey Carter [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox