프로그래밍언어론3장연습문제풀이

소개글

.

목차

없음

본문내용

3.2 직교성, 일반성, 획일성을 구분할 수 있는 예를 들어 보아라.
직교성 - 같은 언어의 구성자 간의 상호 작용이나 문맥의 사용이 기대치 않은 제한이나
행위를 야기해서는 안된다는 개념.
직교성 부족의 경우
Pascal : 함수 반환 값의 제약, 화일형이 갖는 특수성
Modula-2 : 크기가 다른 객체에 배정 연산이 동작
C : 매개변수 전달 방법에 직교성 부재.
일반성 - 특별한 경우를 피하거나 밀접한 관련의 여러 개념들을 하나의 개념으로 결합.
일반성 부족의 경우
Pascal : procedure 표현, 가변배열 부재, 배열 또는 레코드에 ꡐ=ꡐ 연산
자 적용 불가
Fortran : call-by-reference만 사용, 상수 이름 부재
획일성 - 언어 구조들의 외모와 행동에서의 조화를 강조.
획일성 부족의 예
Pascal : repeat와 다른 구조들 간의 블록 사용, 가변 레코드 내의 case문
Modula-2 : ꡐ;ꡑ의 사용이 문장 구분자와 종료 표기로 이용
3.3 부프로그램 호출에서 매개 변수에 대한 타입 검사가 언어 설계 기준에서 왜 중요한가?
 타입 검사란? 연산자의 피연산자들이 호환가능한 타입인지를 확인하는 행위를 말한다.한 개의 메모리 셀에 다른 시간에 다른 타입의 값이 저장되는 것을 허용할 때 타입 검사는 복잡해 진다. 오류를 초기에 교정하는 것이 비용이적게 들기 때문이다.
 매개변수의 개수, 각 매개변수의 타입을 알지 못하면 함수를 제대로 호출할 수 없기
때문이다.