Re: a new language, designed for safety !

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

On 17/06/14 22:08, Jeffrey Carter wrote:
> On 06/17/2014 12:41 PM, Randy Brukardt wrote:
>>
>> As Jeff says, Ada is only for software engineers. Most people do not want to
>> engineer software. (They shouldn't be allowed near a computer, IMHO, but
>> that's never going to happen.) Ergo, Ada is only for an "elite" (and those
>> who want to be "elite").
>
> Some day, perhaps, liability issues will keep coders from designing important software and choosing the language to write it in, just as liability issues keep construction workers from designing bridges and choosing the materials to build them with. Until then, though, we have the construction workers designing the bridges.
>

A language may require programmers to write a "responsibility
section" as part of an entity's interface: a formal description
that lists everything a client must know about it in order
to use it without error.

Ada 2012 contracts can be interpreted as a step in this direction,
I think. Unfortunately, Ada 2012 makes the contractual aspect of
programming an optional part, and in some pinboard style list of
notes at that.