안전성, 신뢰성 확보 가능.

증명 필요시 SPARK 연계하여 수학적 증명 가능.

ㅋㅋㅋ

Rust나 Ada나 사람들이 안 쓰기는 마찬가지 ㅋㅋ

대학원 논문 쓸 때,

Rust 보다는 Ada를 사용하는 것이 유리한 이유 알려드림.

1. 석사 논문.

독창성, 개념 증명, 안정적 동작이 중요함.

안정적 동작을 위해 무슨 언어를 사용해도 상관은 없음.

그런데 Rust 대비 Ada를 사용하면 박사 논문 때 증명하기 편리하다는 장점이 있음.

2. 박사 논문.

석사 논문을 더욱 일반화하여 일반적 증명이 중요함.

(개념 증명을 말하는 것이 아님)

일반화된 개념을 도출하여 마찬가지로 증명을 해야겠지.

안정적 동작 역시 필수이고.

증명에 SPARK를 사용할 수 있다 ㅎㅎ

SPARK는 Ada언어의 부분 집합이고,

Ada 언어를 사용하여 개발했다면 SPARK 연계가 무척 쉽다.ㄹ

수학적으로 특정 영역에 버그 없음을 증명할 수 있다.

사람이 수학을 하는게 아니라,

사람이 규칙을 넣으면 ㅋㅋ

증명 도구가 알아서 증명해준다. ㅋㅋ

3. 알고리즘 기술 편함.

Ada 언어 자체가 문법이 장황하고

begin ... end로 끝남 ㅎㅎ

언어 자체가 일종의 기술서임.

Ada 언어로 코딩을 하면

소스코드 그 자체가 일종의 기술 문서처럼 됨.

그래서 Ada 언어에 대한 지식이 없는 사람도

소스코드 보면 이해가 됨. ㅎㅎ

c/c++, rust 와는 확실히 대비되는 점이지.