Re: A new name for software failure : the glitch

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 10.08.12 16:16, Nasser M. Abbasi wrote:
> 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.
So was I.

> I read that
> mostly C++ is mainly used there.

Which layer? I'll venture a guess that e.g. the special
wiring between New York and Chicago will not include
any language's big run-time system.

According to Duncan Sands (AdaCore video), a french bank
is/was using Ada in some transaction layers.

> 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).

APL is so popular in financial business that Morgan Stanley
had allowed A+ to be made. Another dialect is specially made
for fast processing of series of data (q, earlier K),
and typically sold in the financial market. Yes, that's
probably not the I/O layer that effects trades.