Re: tolf and detab (language succinctness)

2010-10-05 Thread Bruno Medeiros
On 01/10/2010 12:54, bearophile wrote: Bruno Medeiros: From my understanding, Scala is a "scalable language" in the sense that it easy to add new language features, or something similar to that. I see. You may be right. But I'm missing your point here, what does Ada have to do with this?

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