Didier Kryn <kryn@???> writes:
> Le 03/07/2016 23:17, Hendrik Boom a écrit :
>> On Fri, Jun 24, 2016 at 01:36:14PM -0400, Peter Olson wrote:
>>
>>> Can I download your compiler that fixes all my mistakes? I could really use such a tool.
>> Yes, as a matter of fat you can -- almost.
>>
>> Two languages I use have the property that once the program gets
>> through the compiler, almost all the bugs are gone.
>>
>> Modula 3.
>> OCaml.
>>
>> Algol 68 is another one, but lgol 68 compilers are as scarce as hen's
>> teeth nowdays.
>>
>>

>     Ada also.

That's why Ada has been used successfully for the most sensational
fireworks:

https://www.ima.umn.edu/~arnold/disasters/ariane5rep.html