Ada, SPARK [Was: Re: tolf and detab (language succinctness)]

2010-10-06 Thread bearophile
Bruno Medeiros: >[About ADA] That "begin" "end " syntax is awful. I already >think just "begin" "end" syntax is bad, but also having to repeat the name of >block/function/procedure/loop at the "end", that's awful.< If you take a look at my dlibs1, probably more than 60_000 lines of D1 code, yo

Re: Ada, SPARK [Was: Re: tolf and detab (language succinctness)]

2010-10-29 Thread Bruno Medeiros
On 06/10/2010 22:48, bearophile wrote: Bruno Medeiros: [About ADA] That "begin" "end" syntax is awful. I already think just "begin" "end" syntax is bad, but also having to repeat the name of block/function/procedure/loop at the "end", that's awful.< If you take a look at my dlibs1, probably

Re: Ada, SPARK [Was: Re: tolf and detab (language succinctness)]

2010-10-29 Thread bearophile
Bruno Medeiros: > I'm not an expert on high-reliability/critical systems, but I had the > impression that the majority of it was written in C (even if with > restricting code guidelines). Or that at least, much more critical > software is written in C than in Ada. Is that not the case? MISRA C