From: "Nasser M. Abbasi" <nma@12000.org>
Subject: Re: A new name for software failure : the glitch
Date: Fri, 10 Aug 2012 09:16:17 -0500
Date: 2012-08-10T09:16:17-05:00 [thread overview]
Message-ID: <k0353j$9ts$1@speranza.aioe.org> (raw)
In-Reply-To: 502512c7$0$6566$9b4e6d93@newsspool4.arcor-online.net
On 8/10/2012 8:56 AM, Georg Bauhaus wrote:
>
> Tricky. Neither Java nor OCaml can be called weakly typed
> or not robust. APL implementations do not count as not robust
> either, AFAIK.
Thanks, but I was thinking of high frequency trading software. I read that
mostly C++ is mainly used there. This is real-time, hundreds of
transactions in one second type of software. Yes, Java is strongly
typed also. I do not know anything myself about OCaml and
APL (did not even know that APL is still around).
>
> AdaCore uses this opportunity to point out offerings that
> are related to reliability and verification, but does not
> specifically mention Ada.
>
> Saying "Ada would have prevented" might turn out to be rather silly in
> this case.
>
yes.
--Nasser
next prev parent reply other threads:[~2012-08-15 2:48 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-04 18:18 A new name for software failure : the glitch francois_fabien
2012-08-04 19:58 ` Maciej Sobczak
2012-08-04 21:38 ` F. Fabien
2012-08-05 7:41 ` Dmitry A. Kazakov
2012-08-05 10:58 ` Georg Bauhaus
2012-08-05 12:45 ` Britt
2012-08-10 12:42 ` Nasser M. Abbasi
2012-08-10 13:56 ` Georg Bauhaus
2012-08-10 14:16 ` Nasser M. Abbasi [this message]
2012-08-10 16:14 ` Georg Bauhaus
2012-08-11 23:19 ` Yannick Duchêne (Hibou57)
2012-08-11 0:30 ` Randy Brukardt
2012-08-11 19:22 ` Florian Weimer
2012-08-11 21:25 ` jpwoodruff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox