단일 범위 평가 원칙

Ada for 루프를 다른 많은 언어의 구조와 구별 짓는 결정적인 특징은 이산 범위가 단 한 번만 평가된다는 점입니다. 즉, 첫 번째 반복이 시작되기 전에 범위가 완전히 계산되고 그 경계가 고정됩니다. 이 단일 평가는 루프 매개변수에 대한 변경 불가능한 값의 순서를 설정하며, 결과적으로 루프 본문이 실행되기 전에 반복 횟수가 결정됩니다.

이 원칙은 널 범위를 가진 루프의 동작을 직접적으로 규정합니다. 범위의 하한이 상한보다 큰 경우(예: 5 .. 1), 해당 범위는 널 범위로 간주됩니다. 상세화된 범위가 널 범위인 경우, 루프는 즉시 완료되며 0번의 반복을 수행합니다. 루프 본문 내의 구문은 전혀 실행되지 않습니다.

reverse 키워드는 반복의 방향에만 영향을 미치며, 범위 자체의 유효성에는 영향을 주지 않는다는 점을 이해하는 것이 중요합니다. reverse 키워드는 경계를 바꾸지 않습니다. 이러한 이유로 for j in reverse 1 .. 0 loop는 실행되지 않습니다. 범위 1 .. 0은 reverse 키워드가 반복 순서에 대해 고려되기 전에 널 범위로 결정됩니다. 이는 안전하고 예측 가능한 결과를 제공하여 잘못된 범위로 인해 실행이 발생하는 것을 방지합니다.

이러한 설계는 for 루프가 매우 예측 가능하고 결정론적이도록 보장합니다. 종료 조건이 각 반복 전에 재평가되고 루프 내에서 수정될 수 있는 C 언어의 for 루프와 달리, Ada for루프의 반복 횟수는 본문 내에서 범위 경계에 대한 변경에 영향을 받지 않습니다. 이는 우발적인 무한 루프나 조기 종료와 같은 일반적인 오류를 방지하여 프로그램의 안전성과 신뢰성을 높입니다. 또한 프로그래머가 루프의 선언만으로 정확한 반복 횟수를 결정할 수 있으므로 코드 가독성이 향상됩니다.

Ada 언어는 공부할 수록 대박이기 때문입니다.

ㅎㅎㅎ

Ada 언어가 고신뢰성 소프트웨어 개발에 사용되는 이유를 짐작할 것 같습니다.

메모리 안전성은 물론 소프트웨어의 전반적인 안전성, 신뢰성을 중시하는 언어이기 때문입니다.

ㅎㅎㅎ

그래서 러스트 빠돌이들이 Ada를 언급하지 않고

Ada 글들을 싫어하는 이유이기도 합니다.

ㅎㅎㅎ

왜냐?

그동안 러스트 빨아온 세월이 무용지물이 되기 때문에. ㅎㅎ

유식한 말로, 매몰 비용의 오류라고 합니다. ㅋㅋ

이러한 인지적 부조화를 해결하기 위해

러스트를 신성시하고 ㅎㅎ

타 언어 및 타 언어 사용자를 비하/경멸하는 것입니다.

ㅎㅎ

다음 책, "러스트 담론을 해체하다"에 잘 나와 있으니 한번 보시기 바랍니다. ㅎㅎ

https://nimfsoft.art/ko/books/deconstructing-the-rust-discourse/

님프소프트 - 러스트 담론을 해체하다

님프소프트 - 러스트 담론을 해체하다

nimfsoft.art