Ada was a love-hate of mine. We had to use it for avionics/defence
stuff and it always took a week just to get a project started, writing
pages of type definitons. But:
1) It made you really think about the ideas. Sometimes it revealed
misunderstandings in the requirements gathering or translation. That
was the optimal time to find problems in the recspec and bounce them
back before it got too late.
2) One you get moving in a very strongly typed language the rate of
serious obstacles falls off rapidly. It really does pay yo do the work
up front. I think of it as having to tidy up your room before you're
allowed to play.
Ada has been shown time and again to be more cost effective than C, C++ or Java. Even in the old days before Ada2022 and Spark 2014s recent improvements.
1) It made you really think about the ideas. Sometimes it revealed misunderstandings in the requirements gathering or translation. That was the optimal time to find problems in the recspec and bounce them back before it got too late.
2) One you get moving in a very strongly typed language the rate of serious obstacles falls off rapidly. It really does pay yo do the work up front. I think of it as having to tidy up your room before you're allowed to play.