Who's Using Ada? Real-World Projects Powered by the Ada Programming Language

Post by RogerL » Thu, Dec 11, 2014, 10:55 PM UTC

acomjean wrote: post #29

bglazer wrote: post #25

This is certainly an impressive list of projects. Ada seems to be favored for critical software that can't ever fail. I've been considering how to achieve this type of software reliability for more "enterprisey" applications. Formally verifiable languages are certainly intriguing, but would be a hard sell for the managers at the Fortune 100 company where I work. Reading the wikipedia page for Ada didn't really give m…

It has a lot of safety checks built into the runtime, which make it a little slower. x is and int between 1 and 200. x gets asigned out of that range, exception is thrown. So we weren't manually checking everything. Also I think it was mandated as a language for US government contracts, for a variety of reasons.

Post by ahi » Thu, Dec 11, 2014, 11:58 PM UTC

imgabe wrote: post #10

Wow, I went to GW and learned Ada in CS051. I didn't have much of a point of reference at the time to compare it to other languages, but it was pretty easy to learn and I enjoyed the class.

Post by Immortalin » Fri, Dec 12, 2014, 1:49 AM UTC

nraynaud wrote: post #18

thejteam wrote: post #7

Although I've never coded in Ada I have had to read existing code to figure out what it was doing. Ada struck me as a language that would be a pain to write in(at least it would take a long time) but it was a pleasure to read. Even without an intimate knowledge of the language (I was a C++ guy) I was able to figure it out.

it's verbose, but I guess a good IDE would write a lot for you anyways. When it's statically typed the IDE can help you a lot. It touches the difference between what you want to read and what you want to write in software, but nowadays, stuff doesn't have to be written, it can be conveyed with color, font, underline etc. But the real shocker is that you can't really write serious Ada for free, gnat is a pain, the fre…

Post by attackcrow » Fri, Dec 12, 2014, 1:59 AM UTC

agumonkey wrote: post #47

_kst_ wrote: post #45

Earlier quoted context omitted.

Hmm? Ada uses the apostrophe for character literals and to introduce attributes. Strings are arrays; indexing uses the same `array[index]` syntax as any other array. S: constant String := "Hello"; H: constant Character := S(1);

True, I was thinking about type conversion from String to Character, IIRC you have to use ' operator, something like my_string'first (not sure, I needed it 10 years ago), otherwise my_string(1) gives a String of length one, not the first Character.

Post by okatsu » Fri, Dec 12, 2014, 2:11 AM UTC