I tried googling and read some snippets online. Why is Ada a "safety critical" language? Some things I notice are

  • No pointers
  • Specify a range (this type is an integer but can only be 1-12)
  • Explicitly state if a function parameter is out or in/out
  • Range-based loops (To avoid bound errors or bound checking)

The rest of the syntax I either didn't understand or didn't see how it helps it to be 'safety critical'. These are some points but I don't see the big picture. Does it have design-by-contract that I am not seeing? Does it have rules that make it harder for code to compile (and if so what are some?) Why is it a 'safety critical' language?

ada
Edit
Report