[프로그래밍 언어론] 3. 프로그래밍 언어 설계 원칙

3.2 기본원칙

효율성

• 목적 코드의 효율성 : 번역기가 효율적인 실행 코드를 생성해야함 (컴파일된 파일)
• 번역의 효율성 : 설계된 언어가 번역기에 의해 빠르게 번역될 수 있어야 함 (컴파일 과정)
• 구현의 효율성 : 번역기 구현이 어렵거나 복잡하지 않음 (컴파일러 구현)
• 프로그래밍 효율성 : 설계된 언어로 얼마나 쉽고 빠르게 작성 가능한지 (코드 구현)

일반성

특별한 경우를 피하고, 밀접하게 관련있는 여러 개념들을 일반적인 하나의 개념으로 통합해 얻는 성질
→ 당연히 지원해야 하는 기능이 작동되어야 함 (범용적으로)

• 대입연산자 : 대부분의 언어는 ‘=’ 인데, 파스칼에서는 ‘:=’로 사용
• 매개변수 : Fortran에서는 callby Reference로만 전달 (일반성 x) / ADA는 다 됨 (일반성 ㅇ)
• 일반성이 갖는 문제점 : 간결성, 판독성, 신뢰성 저하
• 포인터 : 일반성 제공하지만, 언어가 간결x, 읽기 어렵, 신뢰성 낮춤
  따라서 JAVA는 포인터를 불허 → 신뢰성과 판독성 문제 해결

직교성

구성자 간의 상호작용이 예상 밖의 행위를 야기하지 않아야 함

• 같은 언어의 구성요소가 문맥이 다르다고 다르게 행동해서는 안 됨
• 모든 데이터형을 일관성 있게 대해야 됨
  ex) C : 배열은 리턴이 안됨 → 직교성 결여 / 근데 ADA는 다 됨
  배열만 포인터임(call by ref) → 직교성 결여

획일성

언어들이 생긴대로 행동해야함 / 다른 구문이랑 비슷하게 생기면 안됨

• 이랬다저랬다하면 획일성 결여
• ex) 파스칼에서는 seperator와 terminator로 세미콜론을 사용한다.
  이는 획일성을 위반한 것. 비슷한 애들은 비슷하게 써야하고 상이한 것은 다르게 써야함.
  ex2) if,while 에서는 begin-end 구조 / repeat에서는 begin-end 안씀
• 비획일성 ⇒ 비직교성

 

3.4 기타 원칙

간 표 정 / 기 안 / 확 제 일  ← (개꿀팁) 나 이렇게 외워서 두 문제 맞춤

• 간결성
• 표현력
• 정확성
• 기계 독립성
• 안전성
• 확장성
• 기계 독립성
• 기존 표기나 규칙과의 일관성

 

3.5 문제점과 해결책들

• 신뢰성 → 진단 컴파일러 / 점검 컴파일러
• 효율적인 번역 : (초기)분리 컴파일러[효율적, 오류많음] → (70s)통합 컴파일러[신뢰성] → (ADA)개쩜
• 코드 최적화 → 목적코드 효율