Reply to thread

Message: [QUOTE="Russ P., post: 3772946"] So this turns out to be an example of a failure due, not to the *rigidity* of Ada, but to its *permissiveness* in allowing such a cast. Had such a cast not been allowed, the people who complain about the "rigidity" of Ada would have complained that much more. I don't know which variant of Ada was used here, but something called the "Ravenscar Profile" is a reduced subset of Ada that might have prevented this error (though I haven't verified this). Then there is Spark Ada, which supposed to be much safer than even Ada. True, but Ada does not have the luxury of just using doubles and "bignums" everywhere, because it needs to work on cheap processors too. But perhaps it could somehow be configured to do so by the user if sufficiently powerful computers are being used. [/QUOTE]