Encapsulating trust

[Paulo Pinto via Digitalmars-d]

On Tuesday, 2 September 2014 at 11:55:58 UTC, ketmar via 
Digitalmars-d wrote:
> On Tue, 02 Sep 2014 11:37:38 +0000
> via Digitalmars-d <digitalmars-d at puremagic.com> wrote:
>
>> Because it _is_ handy. It shouldn't be. It's supposed to be 
>> ugly, to make you think twice whether you actually want to use 
>> it.
> what i'm trying to say it that D either *system* language or 
> java-like
> crap that tries to artificially "protect" the programmer and 
> fails.
>
> such king of "uglification for protection" doesn't work: it 
> annoys
> people who know what are they doing and will not stop idiots 
> anyway,
> 'cause idiots are very inventive in their ways of doing 
> idiocity.

For some strange reason human life critical systems are written 
in Ada, SPARK, MISRA C dialect