사실, 저런 언어 원했었는데.

C로 수년을 프밍하면 뭐하나.

에러가 안 난다는 보증이 없는데

언제 어떻게 터질지 모름.

그런데 SPARK Ada 언어는

수학적 검증이 가능하덴다.

심지어는 변수의 범위를 지정해줄 수도 있어.

우리가.. C 로 함수를 만들잖아.

int 곱셈(int x, int y)

{

  return x * y;

}

이런 연산을 쓸텐데...

오버플로우 안 난다는 보장이 있냐?

즉, x * y 한 값이 int 를 초과할 수 있잖아.

또한..

CArray 객체를 만들었는데,

add 를 엄청 많이 했다고 할 때,

내부에서 index 변수 있을텐데

범위 초과 안 한다는 확신이 있나..?

index 변수 범위는 초과할 일이 별로 없지.

그런데 for 문 안에서 뭔가 연산을 할거 아니냐고

연산하다가 오바플로 생길 가능성도 있는거고

그걸 어떻게 검증하냐고 ㅎㅎㅎ

CArray에서 에러 나기는 현실적으로 어렵고,

좀더 현실적인 문제가 있는데,

CHashMap 을 만들었는데,

hash map 이다 보니

내부에 연산이 꽤 많지

오버플로우 발생 소지도 있어.

진짜로.

하지만, 그냥 쓰는거지.

나만 이런게 아니라..

다른 사람들이 만든 것들도 그래.

검증을 못한다고

ㅎㅎㅎ

그러나.

SPARK Ada 언어 사용하면 검증이 가능하덴다.

수십년간 현장에서 사용했으니 진짜겠지.

SPARK Ada 언어의 존재를 며칠전 처음 알았다.

SPARK라고 한 20여년 쯤에 자료구조 책에

알고리즘에 나오긴 했었는데

난 그 언어가 알고리즘 기술용 pseudo 언어인줄 알았는데

그게 아니라는 걸 며칠 전 알았다 ㅎㅎ

SPARK, SPARK 그러길래 Ada 언어인줄 꿈에도 생각 못했지 뭐야

ㅋㅋㅋ

러스트 같은 ㅄ 언어할 바에는 SPARK 언어 해라.