> 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.