“직교성”이라는 용어는 정확한 수학적 개념에 대한 평신도의 용어입니다. 언어 용어는 초기 대수학을 구성합니다 (Wikipedia에서 찾아보십시오).

기본적으로 “구문과 의미 사이에는 1-1 대응 관계가 있습니다”를 의미합니다. 즉, 사물을 표현하는 방법은 정확히 한 가지가 있으며 특정 장소에 표현을 할 수 있으면 다른 표현도 가능합니다.

“직교”에 대해 생각하는 또 다른 방법은 구문이 대체 원칙을 따르는 것입니다. 예를 들어, 표현식을위한 슬롯이있는 명령문이있는 경우 모든 표현식을 여기에 넣을 수 있으며 결과는 여전히 구문 상 유효한 프로그램입니다. 또한 교체하면

나는 “의미”가 계산 결과를 의미하지 않는다는 것을 강조하고 싶다. 분명히 1 + 2와 2 + 1은 모두 3과 같습니다. 그러나 항은 서로 다르며 결과가 같더라도 다른 계산을 의미합니다. 두 가지 정렬 알고리즘이 다른 것처럼 의미가 다릅니다.

“추상 구문 트리”(AST)에 대해 들어 보셨을 것입니다. 여기서 “추상”이라는 단어는 정확히 “직교”를 의미합니다. 기술적으로 대부분의 AST는 실제로 추상적이지 않습니다!

“C”프로그래밍 언어에 대해 들어 보셨나요? C 타입 표기법은 추상적이지 않습니다. 치다:

int f(int);

여기에 함수 선언 반환 유형이 int있습니다. 이 함수에 대한 포인터의 유형은 다음과 같습니다.

int (*)(int)

함수의 타입은 쓸 수 없습니다! C 타입 표기법은 큰 시간을 빨아! 추상적이지 않습니다. 직교하지 않습니다. 이제 int 대신 위의 타입을 받아들이는 함수를 만들고 싶다고합시다.

int (*) ( int (*)(int) )

다 괜찮아요 ..하지만 .. 우리가 대신 돌려주고 싶다면?

int (*)(int) (*) (int)

웁스! 유효하지 않습니다. Parens를 추가 할 수 있습니다 :

(int (*)(int)) (*) (int)

웁스! 그것은 작동하지 않습니다. 우리는 이것을해야합니다 (유일한 방법입니다!) :

typedef int (intintfunc*) (int);
intintfunc (*)(int)

이제는 괜찮지 만 여기서 typedef를 사용해야하는 것은 좋지 않습니다. C는 짜증나. 추상적이지 않습니다. 직교하지 않습니다. ML에서이를 수행하는 방법은 다음과 같습니다.

 int -> (int -> int)

구문 수준에서 C를 정죄합니다.

자 이제 C ++를 flog 할 수 있습니다. 템플릿으로 위의 어리 석음을 수정하고 ML과 같은 표기법을 얻을 수 있습니다.

fun<int, int>
fun< fun<int,int>, int>

그러나 실제 형식 시스템은 기본적으로 참조에 의해 결함 T이 있습니다. 형식이면 T&형식입니까? 구문 수준에서 U = T & 유형 인 경우 U &가 허용되지만 T & 만 의미합니다. 참조에 대한 참조는 원래 참조입니다. 짜증나! 고유성 요구 사항을 의미 적으로 위반합니다. 더 나쁘다 : T & &는 구문 상 허용되지 않는다 : 이것은 대체 원칙을 어긴 다. 따라서 C ++ 참조는 바인딩 시간 (구문 분석 또는 유형 분석)에 따라 두 가지 방식으로 직교성을 위반합니다. 이 작업을 올바르게 수행하는 방법을 이해하려면 포인터에 문제가 없습니다!

실제 언어는 거의 직교하지 않습니다. 표현의 명료 함을 가장하는 Scheme조차도 그렇지 않습니다. 그러나 많은 훌륭한 언어는 “합리적으로 직교 특징 기반에 가깝다”고 판단 될 수 있으며 이는 구문과 기본 의미에 모두 적용되는 언어에 대한 권장 사항입니다.

답변