One thing that Ada (83 certainly, I couldn't say about 95) does - that Other languages don't - is that by default redundant checks in ANDs and ORs aren't bypassed as soon as one fails/passes unlike every other language under the sun (hell, even Prolog) - Ada values consistency (especially of any other effects that the functions may have) so if you *want* to allow short-circuit, and the run-time savings that this allows, then you have to specify AND THEN or OR ELSE in place of AND and OR.
(As I confused you I'm over-explaining here for the benefit of anyone else.)
What tickled me was that mental consideration of the use of AND THEN and OR ELSE where AND and OR is found in code is a habit, certainly of this coder - and is obviously one that I still have in me after (thinks) over ten years since I last touched Ada.
(But now you've said it, so I know what to look for, it appears that Ada 95 hasn't changed this. Unsurprising, really, if the whole point was consistency :-)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
One thing that Ada (83 certainly, I couldn't say about 95) does - that Other languages don't - is that by default redundant checks in ANDs and ORs aren't bypassed as soon as one fails/passes unlike every other language under the sun (hell, even Prolog) - Ada values consistency (especially of any other effects that the functions may have) so if you *want* to allow short-circuit, and the run-time savings that this allows, then you have to specify AND THEN or OR ELSE in place of AND and OR.
(As I confused you I'm over-explaining here for the benefit of anyone else.)
What tickled me was that mental consideration of the use of AND THEN and OR ELSE where AND and OR is found in code is a habit, certainly of this coder - and is obviously one that I still have in me after (thinks) over ten years since I last touched Ada.
Ada: Love it or hate it, but it leaves its mark.
(But now you've said it, so I know what to look for, it appears that Ada 95 hasn't changed this. Unsurprising, really, if the whole point was consistency :-)