> I come to think that Ada is *more* appropriate for small, non critical
> projects than for its traditional market.
>
> If you have big, highly critical projects, you'll have the money to
> spend time and run tools that prove that the project can't fail
> irrespectively of the programming language. If you don't have the money,
> then the added value of Ada's checks provides a much bigger added value.

In other words, for some small projects relying on Ada is a good way to keep
the project small.